PARAMETER PASSING IN NONDETERMINISTIC RECURSIVE PROGRAMS

被引：7
|
作者：
BENSON, DB
机构：
来源：
JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1979年 / 19卷 / 01期
关键词：
D O I：
10.1016/0022-0000(79)90013-8
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：50 / 62
页数：13
相关论文
共 50 条
  • [21] On the structural properties of the set of fixpoints for nondeterministic recursive definitions
    Chen, TY
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1996, 52 (01) : 80 - 86
  • [22] FUNCTIONAL-BEHAVIOR OF NONDETERMINISTIC PROGRAMS
    MAIN, MG
    BENSON, DB
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 290 - 301
  • [23] Infinite unfolding and transformations of nondeterministic programs
    Lisper, B., 2005, IOS Press (66)
  • [24] POSTER: The Liberation Day of Nondeterministic Programs
    Deiana, Enrico A.
    St-Amour, Vincent
    Dinda, Peter
    Hardavellas, Nikos
    Campanoni, Simone
    2017 26TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT), 2017, : 136 - 137
  • [25] Relational semantics for locally nondeterministic programs
    Liangwei Xu
    Masato Takeichi
    Hideya Iwasaki
    New Generation Computing, 1997, 15 : 339 - 361
  • [26] A LOGIC FOR THE DESCRIPTION OF NONDETERMINISTIC PROGRAMS AND THEIR PROPERTIES
    GRAF, S
    SIFAKIS, J
    INFORMATION AND CONTROL, 1986, 68 (1-3): : 254 - 270
  • [27] Logical analysis of demonic nondeterministic programs
    Demri, S
    Orlowska, E
    THEORETICAL COMPUTER SCIENCE, 1996, 166 (1-2) : 173 - 202
  • [28] A nondeterministic extension over finitely recursive process model
    Bose, S
    Mukhopadhyay, S
    Patra, A
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1997, 7 (03): : 243 - 274
  • [29] Infinite unfolding and transformations of nondeterministic programs
    Lisper, B
    FUNDAMENTA INFORMATICAE, 2005, 66 (04) : 415 - 439
  • [30] Cost Analysis of Nondeterministic Probabilistic Programs
    Wang, Peixin
    Fu, Hongfei
    Goharshady, Amir Kafshdar
    Chatterjee, Krishnendu
    Qin, Xudong
    Shi, Wenjun
    PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 204 - 220
12345