PROVING PROGRAMS CORRECT THROUGH REFINEMENT

被引：4

作者：

CORRELL, CH ^{[1
]}

机构：

[1] IBM CORP,THOMAS J WATSON RES CTR,DEPT COMP SCI,YORKTOWN HTS,NY 10598

来源：

关键词：

D O I：

10.1007/BF00289073

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：121 / 132

页数：12

共 16 条

[1]

DIJKSTRA EW, 1972, STRUCTURED PROGRAMMI

[2]

Floyd Robert W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771

[3]

GOGUEN JA, 1975, MAY P C COMP GRAPH P, P89

[4]

GUTTAG JV, 1976, USCISIRR7648

[5]

GUTTAG JV, 1975, CSRG59 TR U TOR

[6]

Hoare C. A. R., 1972, Acta Informatica, V1, P271, DOI 10.1007/BF00289507

[7]

Knuth D. E., 1974, Computing Surveys, V6, P261, DOI 10.1145/356635.356640

[8]

KNUTH DE, 1973, ART COMPUTER PROGRAM, V1, P353

[9]

Liskov B., 1974, SIGPLAN Notices, V9, P50, DOI 10.1145/942572.807045

[10]

LONDON BH, 1972, FORMAL SEMANTICS PRO