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 条

[31] AXIOMATIC PROOFS OF TOTAL CORRECTNESS OF PROGRAMS
SOUNDARARAJAN, N
INFORMATION PROCESSING LETTERS, 1979, 8 (05) : 274 - 277
[32] Proving total correctness of recursive procedures
America, Pierre, 1600, (84):
[33] SEMANTIC MODELS FOR TOTAL CORRECTNESS AND FAIRNESS
MAIN, MG
BLACK, DL
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 442 : 247 - 270
[34] SEMANTIC MODELS FOR TOTAL CORRECTNESS AND FAIRNESS
MAIN, MG
BLACK, DL
THEORETICAL COMPUTER SCIENCE, 1993, 107 (02) : 305 - 332
[35] PROVING TOTAL CORRECTNESS OF RECURSIVE PROCEDURES
AMERICA, P
DEBOER, F
INFORMATION AND COMPUTATION, 1990, 84 (02) : 129 - 162
[36] A CALCULUS OF TOTAL CORRECTNESS FOR COMMUNICATING PROCESSES
HOARE, CAR
SCIENCE OF COMPUTER PROGRAMMING, 1981, 1 (1-2) : 49 - 72
[37] PROVING TOTAL CORRECTNESS OF PARALLEL PROGRAMS
BABICH, AF
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (06) : 558 - 574
[38] TOTAL CORRECTNESS IN NONSTANDARD LOGICS OF PROGRAMS
SAIN, I
THEORETICAL COMPUTER SCIENCE, 1987, 50 (03) : 285 - 321
[39] Correctness in general configurations of transactional components
Alonso, Gustavo
Fessler, Armin
Pardon, Guy
Schek, Hans-Jorg
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1999, : 285 - 293
[40] A Partial Correctness Proof for Programs with Decided Specifications
Darwish, A. A.
APPLIED MATHEMATICS & INFORMATION SCIENCES, 2007, 1 (02): : 195 - 202

← 1 2 3 4 5 →