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 条

[1] ON THE TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS
HAREL, D
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 175 - 192
[2] THE CORRECTNESS OF NONDETERMINISTIC PROGRAMS REVISITED
HOLENDERSKI, L
[J]. INFORMATION PROCESSING LETTERS, 1986, 23 (06) : 299 - 303
[3] CORRECTNESS OF RECURSIVE PARALLEL NONDETERMINISTIC FLOW PROGRAMS
GOGUEN, JA
MESEGUER, J
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (02) : 268 - 290
[4] PROVING TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS IN INFINITARY LOGIC
BACK, RJR
[J]. ACTA INFORMATICA, 1981, 15 (03) : 233 - 249
[5] NONDETERMINISTIC FLOWCHART PROGRAMS WITH RECURSIVE PROCEDURES - SEMANTICS AND CORRECTNESS .2.
GALLIER, JH
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (03) : 239 - 270
[6] NONDETERMINISTIC FLOWCHART PROGRAMS WITH RECURSIVE PROCEDURES - SEMANTICS AND CORRECTNESS .1.
GALLIER, JH
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 193 - 223
[7] FORMAL CORRECTNESS PROOFS OF A NONDETERMINISTIC PROGRAM
UPFAL, E
[J]. INFORMATION PROCESSING LETTERS, 1982, 14 (02) : 86 - 92
[8] ON NONDETERMINISTIC PROGRAMS
LANDWEHR, CE
[J]. COMMUNICATIONS OF THE ACM, 1982, 25 (04) : 292 - 292
[9] PROVING CORRECTNESS WITH RESPECT TO NONDETERMINISTIC SAFETY SPECIFICATIONS
SISTLA, AP
[J]. INFORMATION PROCESSING LETTERS, 1991, 39 (01) : 45 - 49
[10] IMPLEMENTATIONS OF NONDETERMINISTIC PROGRAMS
GUERREIRO, P
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 167 : 133 - 144

← 1 2 3 4 5 →