NEW INCOMPLETENESS RESULT FOR HOARES SYSTEM

被引：28

作者：

WAND, M

机构：

来源：

关键词：

D O I：

10.1145/322047.322062

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：168 / 175

页数：8

共 16 条

[1]

Beth E. W., 1962, FORMAL METHODS

[2] PROVING THEOREMS ABOUT LISP FUNCTIONS [J].

BOYER, RS ;

MOORE, JS .

[3]

COOK SA, 1975, 79 U TOR DEP COMPTR

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

DEBAKKER, JW ;

MEERTENS, LGLT .

[5]

FOKKINGA MM, 1974, LECTURE NOTES COMPUT, V19, P221

[6]

HEWITT CW, 1975, IEEE T SOFTWARE ENG, V1, P25

[7]

Hoare C. A. R., 1974, Acta Informatica, V3, P135, DOI 10.1007/BF00264034

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

HOARE, CAR .

[9] PROOF OF A PROGRAM - FIND [J].

HOARE, CAR .

[10]

HOARE CAR, 1969, COMMUN ACM, V12, P583