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 条

[21] PARAMETER PASSING IN NONDETERMINISTIC RECURSIVE PROGRAMS
BENSON, DB
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1979, 19 (01) : 50 - 62
[22] FUNCTIONAL-BEHAVIOR OF NONDETERMINISTIC PROGRAMS
MAIN, MG
BENSON, DB
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 290 - 301
[23] POSTER: The Liberation Day of Nondeterministic Programs
Deiana, Enrico A.
St-Amour, Vincent
Dinda, Peter
Hardavellas, Nikos
Campanoni, Simone
[J]. 2017 26TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT), 2017, : 136 - 137
[24] Relational semantics for locally nondeterministic programs
Liangwei Xu
Masato Takeichi
Hideya Iwasaki
[J]. New Generation Computing, 1997, 15 : 339 - 361
[25] A LOGIC FOR THE DESCRIPTION OF NONDETERMINISTIC PROGRAMS AND THEIR PROPERTIES
GRAF, S
SIFAKIS, J
[J]. INFORMATION AND CONTROL, 1986, 68 (1-3): : 254 - 270
[26] VERIFYING CORRECTNESS OF LOGIC PROGRAMS
BOSSI, A
COCCO, N
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 96 - 110
[27] Logical analysis of demonic nondeterministic programs
Demri, S
Orlowska, E
[J]. THEORETICAL COMPUTER SCIENCE, 1996, 166 (1-2) : 173 - 202
[28] Specifications, programs, and total correctness
Hehner, ECR
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1999, 34 (03) : 191 - 205
[29] TOTAL CORRECTNESS OF CSP PROGRAMS
SOUNDARARAJAN, N
[J]. ACTA INFORMATICA, 1986, 23 (02) : 193 - 215
[30] Quantity Correctness in Fortran Programs
Foster, Marcus P.
[J]. COMPUTING IN SCIENCE & ENGINEERING, 2017, 19 (04) : 83 - 87

← 1 2 3 4 5 →