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

来源：

关键词：

All Open Access; Green;

D O I：

10.1007/BF00290146

中图分类号：

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

学科分类号：

0812 ;

摘要：

COMPUTER PROGRAMMING

引用

页码：67 / 83

页数：17

共 17 条

[1] BACK RJ, 1980, LECTURE NOTES COMPUT, V85, P51
[2] BARRINGER H, 1984, LOGIC COVERING UNDEF
[3] DEBAKKER JW, 1978, FORMAL DESCRIPTION P, P165
[4] DEROEVER WP, 1976, LECTURE NOTES COMPUT, V45, P472
[5] Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI
[6] FLOYD RW, 1967, J ACM, V4, P636
[7] Gries David, 1981, SCI PROGRAMMING
[8] GUERREIRO P, 1982, LECTURE NOTES COMPUT, V137, P164, DOI DOI 10.1007/3-540-11494-7_12
[9] HAREL D, 1979, RC7691 IBM RES REP
[10] HEHNER R, 1984, CACM, V27, P134