FIXPOINT APPROACH TO THEORY OF COMPUTATION

被引：23

作者：

MANNA, Z

VUILLEMIN, J

机构：

来源：

关键词：

D O I：

10.1145/361454.361460

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：528 / +

页数：1

共 29 条

[1]

ASHCROFT E, 1971, 1971 P IFIP C

[2]

BEKIC H, UNPUBLISHED MEMO

[3] PROVING PROPERTIES OF PROGRAMS BY STRUCTURAL INDUCTION [J].

BURSTALL, RM .

[4]

CADIOU JM, 1972, THESIS STANFORD U

[5]

DEBAKKER JW, 1969, UNPUBLISHED MEMO

[6] GO TO STATEMENT CONSIDERED HARMFUL [J].

DIJKSTRA, EW .

[7]

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

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

HOARE, CAR .

[9]

HOARE CAR, 1971, S SEMANTICS ALGORITH, V188, P102

[10]

KLEENE SC, 1952, INTRO META MATHEMATI