PREDICATIVE PROGRAMMING .1.

被引：78

作者：

HEHNER, ECR ^{[1
]}

机构：

[1] UNIV TORONTO,DEPT COMP SCI,TORONTO M5S 1A4,ONTARIO,CANADA

来源：

关键词：

D O I：

10.1145/69610.357988

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：134 / 143

页数：10

共 12 条

[1]

Ashcroft E. A., 1976, SIAM Journal on Computing, V5, P336, DOI 10.1137/0205029

BACKUS, J .

[3]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[4]

DIJKSTRA EW, 1975, COMMUN ACM, V18, P453, DOI [10.1145/360933.360975, 10.1145/390016.808417]

[5]

Floyd Robert W., 1967, MATH ASPECTS COMPUTE, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771

[6] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].

HOARE, CAR .

[7]

HOARE CAR, 1981, NAG NEWSLETTER, V2, P6

[8]

Jones C. B, 1980, SOFTWARE DEV RIGOROU

[9] FIXED-POINT THEOREMS AND SEMANTICS - A FOLK TALE [J].

LASSEZ, JL ;

NGUYEN, VL ;

SONENBERG, EA .

[10] A GENERALIZED CONTROL STRUCTURE AND ITS FORMAL DEFINITION [J].

PARNAS, DL .