GENERAL CORRECTNESS - A UNIFICATION OF PARTIAL AND TOTAL CORRECTNESS

被引：26

|

作者：

JACOBS, D ^{[1
]}

GRIES, D ^{[1
]}

机构：

[1] CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14853

来源：

ACTA INFORMATICA | 1985年 / 22卷 / 01期

关键词：

All Open Access; Green;

D O I：

10.1007/BF00290146

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

COMPUTER PROGRAMMING

引用

收藏

页码：67 / 83

页数：17

相关论文

共 50 条

[21] ON THE TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS
HAREL, D
THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 175 - 192
[22] Specifications, programs, and total correctness
Hehner, ECR
SCIENCE OF COMPUTER PROGRAMMING, 1999, 34 (03) : 191 - 205
[23] THE TOTAL CORRECTNESS OF PARALLEL PROGRAMS
FLON, L
SUZUKI, N
SIAM JOURNAL ON COMPUTING, 1981, 10 (02) : 227 - 246
[24] Correctness and Relative Correctness
Diallo, Nafi
Ghardallou, Wided
Mili, Ali
2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 591 - 594
[25] An analysis of total correctness refinement models for partial relation semantics I
Deutsch, Moshe
Henson, Martin C.
Reeves, Steve
LOGIC JOURNAL OF THE IGPL, 2003, 11 (03) : 285 - 315
[26] The Qu-Prolog unification algorithm: Formalisation and correctness
Nickolas, P
Robinson, PJ
THEORETICAL COMPUTER SCIENCE, 1996, 169 (01) : 81 - 112
[27] Intuitionistic linear logic and partial correctness
Kozen, D
Tiuryn, J
16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, : 259 - 268
[28] Algebras of modal operators and partial correctness
Möller, B
Struth, G
THEORETICAL COMPUTER SCIENCE, 2006, 351 (02) : 221 - 239
[29] Modal Kleene algebra and partial correctness
Möller, B
Struth, G
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 379 - 393
[30] Partial correctness for probabilistic demonic programs
McIver, AK
Morgan, C
THEORETICAL COMPUTER SCIENCE, 2001, 266 (1-2) : 513 - 541

← 1 2 3 4 5 →