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 条

[31] Logical analysis of demonic nondeterministic programs
Demri, S
Orlowska, E
THEORETICAL COMPUTER SCIENCE, 1996, 166 (1-2) : 173 - 202
[32] TOTAL CORRECTNESS OF CSP PROGRAMS
SOUNDARARAJAN, N
ACTA INFORMATICA, 1986, 23 (02) : 193 - 215
[33] Specifications, programs, and total correctness
Hehner, ECR
SCIENCE OF COMPUTER PROGRAMMING, 1999, 34 (03) : 191 - 205
[34] Infinite unfolding and transformations of nondeterministic programs
Lisper, B
FUNDAMENTA INFORMATICAE, 2005, 66 (04) : 415 - 439
[35] 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
[36] STRONG SEMANTICAL CHARACTERIZATION FOR NONDETERMINISTIC PROGRAMS
CSIRMAZ, L
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (05): : 407 - 416
[37] Quantity Correctness in Fortran Programs
Foster, Marcus P.
COMPUTING IN SCIENCE & ENGINEERING, 2017, 19 (04) : 83 - 87
[38] Relational semantics for locally nondeterministic programs
Xu, LW
Takeichi, M
Iwasaki, H
NEW GENERATION COMPUTING, 1997, 15 (03) : 339 - 361
[39] Correctness and Completeness of Logic Programs
Drabent, Wlodzimierz
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016, 17 (03)
[40] CORRECTNESS PROOFS OF CSP PROGRAMS
SOUNDARARAJAN, N
THEORETICAL COMPUTER SCIENCE, 1983, 24 (02) : 131 - 141

← 1 2 3 4 5 →