THE CORRECTNESS OF NONDETERMINISTIC PROGRAMS REVISITED

被引：0
|
作者：
HOLENDERSKI, L
机构：
来源：
INFORMATION PROCESSING LETTERS | 1986年 / 23卷 / 06期
关键词：
D O I：
10.1016/0020-0190(86)90090-6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：299 / 303
页数：5
相关论文
共 50 条
  • [21] 2 MOST NONDETERMINISTIC PROGRAMS
    WILTINK, JG
    SCIENCE OF COMPUTER PROGRAMMING, 1986, 6 (01) : 89 - 94
  • [22] NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness
    Burnim, Jacob
    Elmas, Tayfun
    Necula, George
    Sen, Koushik
    ACM SIGPLAN NOTICES, 2011, 46 (06) : 401 - 414
  • [23] NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness
    Burnim, Jacob
    Elmas, Tayfun
    Necula, George
    Sen, Koushik
    PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2011, : 401 - 414
  • [24] PARAMETER PASSING IN NONDETERMINISTIC RECURSIVE PROGRAMS
    BENSON, DB
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 19 (01) : 50 - 62
  • [25] FUNCTIONAL-BEHAVIOR OF NONDETERMINISTIC PROGRAMS
    MAIN, MG
    BENSON, DB
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 290 - 301
  • [26] Infinite unfolding and transformations of nondeterministic programs
    Lisper, B., 2005, IOS Press (66)
  • [27] 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
  • [28] Relational semantics for locally nondeterministic programs
    Liangwei Xu
    Masato Takeichi
    Hideya Iwasaki
    New Generation Computing, 1997, 15 : 339 - 361
  • [29] A LOGIC FOR THE DESCRIPTION OF NONDETERMINISTIC PROGRAMS AND THEIR PROPERTIES
    GRAF, S
    SIFAKIS, J
    INFORMATION AND CONTROL, 1986, 68 (1-3): : 254 - 270
  • [30] VERIFYING CORRECTNESS OF LOGIC PROGRAMS
    BOSSI, A
    COCCO, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 96 - 110
12345