SPECIFYING THE SEMANTICS OF WHILE PROGRAMS - A TUTORIAL AND CRITIQUE

被引：4

作者：

GREIF, I

MEYER, AR

机构：

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1981年 / 3卷 / 04期

关键词：

D O I：

10.1145/357146.357151

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：484 / 507

页数：24

共 23 条

[1] COMPLETENESS OF INDUCTIVE ASSERTION METHOD [J].

DEBAKKER, JW ;

MEERTENS, LGLT .

[2]

DEBAKKER JW, 1975, 16TH ANN S F COMP SC, P29

[3]

DEBAKKER JW, 1977, P IFIP C FORMAL SPEC

[4]

DEBAKKER JW, 1980, MATH THEORY PROGRAM

[5]

DEROEVER WP, 1976, LECTURE NOTES COMPUT, V45, P472

[6]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[7]

DIJKSTRA EW, 1975, ACM, V18, P453

[8]

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

[9]

GREIF I, 1979, 6TH C REC ANN ACM S, P180

[10]

HAREL D, 1978, 1ST ORDER DYNAMIC LO