CORRECTNESS OF NONDETERMINISTIC PROGRAMS

被引：21
|
作者：
MANNA, Z [1 ]
机构：
[1] STANFORD UNIV,STANFORD,CA
来源：
ARTIFICIAL INTELLIGENCE | 1970年 / 1卷 / 1-2期
关键词：
D O I：
10.1016/0004-3702(70)90002-0
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：1 / 26
页数：26
相关论文
共 50 条
  • [31] Infinite unfolding and transformations of nondeterministic programs
    Lisper, B
    [J]. FUNDAMENTA INFORMATICAE, 2005, 66 (04) : 415 - 439
  • [32] STRONG SEMANTICAL CHARACTERIZATION FOR NONDETERMINISTIC PROGRAMS
    CSIRMAZ, L
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (05): : 407 - 416
  • [33] Cost Analysis of Nondeterministic Probabilistic Programs
    Wang, Peixin
    Fu, Hongfei
    Goharshady, Amir Kafshdar
    Chatterjee, Krishnendu
    Qin, Xudong
    Shi, Wenjun
    [J]. PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 204 - 220
  • [34] Relational semantics for locally nondeterministic programs
    Xu, LW
    Takeichi, M
    Iwasaki, H
    [J]. NEW GENERATION COMPUTING, 1997, 15 (03) : 339 - 361
  • [35] CORRECTNESS PROOFS OF CSP PROGRAMS
    SOUNDARARAJAN, N
    [J]. THEORETICAL COMPUTER SCIENCE, 1983, 24 (02) : 131 - 141
  • [36] Maintaining correctness in scientific programs
    Dubois, PF
    [J]. COMPUTING IN SCIENCE & ENGINEERING, 2005, 7 (03) : 80 - 85
  • [37] INTRODUCTION TO PROVING CORRECTNESS OF PROGRAMS
    HANTLER, SL
    KING, JC
    [J]. COMPUTING SURVEYS, 1976, 8 (03): : 331 - 353
  • [38] On Correctness of Normal Logic Programs
    Drabent, Wlodzimierz
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), 2022, 13474 : 142 - 154
  • [39] THE TOTAL CORRECTNESS OF PARALLEL PROGRAMS
    FLON, L
    SUZUKI, N
    [J]. SIAM JOURNAL ON COMPUTING, 1981, 10 (02) : 227 - 246
  • [40] Correctness and Completeness of Logic Programs
    Drabent, Wlodzimierz
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016, 17 (03)
12345