Singular and plural nondeterministic parameters

被引：2
|
作者：
Walicki, M
Meldal, S
机构：
[1] Department of Informatics, University of Bergen, HiB
来源：
SIAM JOURNAL ON COMPUTING | 1997年 / 26卷 / 04期
关键词：
algebraic specification; many-sorted algebra; nondeterminism; sequent calculus;
D O I：
10.1137/S0097539794264317
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The article defines algebraic semantics of singular (call-time-choice) and plural (runtime-choice) nondeterministic parameter passing and presents a specification language in which operations with both kinds of parameters can be defined simultaneously. Sound and complete calculi for both semantics are introduced. We study the relations between the two semantics and point out that axioms for operations with plural arguments may be considered as axiom schemata for operations with singular arguments.
引用
收藏
页码：991 / 1005
页数：15
相关论文
共 50 条
  • [1] Quantifier-free logic for nondeterministic theories
    Lamo, Y
    Walicki, M
    THEORETICAL COMPUTER SCIENCE, 2006, 355 (02) : 215 - 227
  • [2] On Models of a Nondeterministic Computation
    Vyalyi, Mikhail N.
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2009, 5675 : 334 - 345
  • [3] Nondeterministic Cellular Automata
    Di Lena, Pietro
    Margara, Luciano
    INFORMATION SCIENCES, 2014, 287 : 13 - 25
  • [4] Counting nondeterministic computations
    Yang, Qizhe
    Fu, Yuxi
    THEORETICAL COMPUTER SCIENCE, 2022, 897 : 49 - 63
  • [5] Dually Nondeterministic Functions
    Morris, Joseph M.
    Tyrrell, Malcolm
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (06):
  • [6] A theory of nondeterministic networks
    Mishchenko, Alan
    Brayton, Robert K.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2006, 25 (06) : 977 - 999
  • [7] Nondeterministic Control for Hybrid Search
    Pascal Van Hentenryck
    Laurent Michel
    Constraints, 2006, 11 : 353 - 373
  • [8] Nondeterministic control for hybrid search
    Van Hentenryck, Pascal
    Michel, Laurent
    CONSTRAINTS, 2006, 11 (04) : 353 - 373
  • [9] Certified Computation of Nondeterministic Limits
    Konecny, Michal
    Park, Sewon
    Thies, Holger
    NASA FORMAL METHODS (NFM 2022), 2022, 13260 : 771 - 789
  • [10] Nondeterministic, nonmonotonic logic databases
    Giannotti, F
    Manco, G
    Nanni, M
    Pedreschi, D
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2001, 13 (05) : 813 - 823
12345