INDUCTIVE METHODS FOR PROVING PROPERTIES OF PROGRAMS

被引：45

作者：

MANNA, Z ^{[1
]}

NESS, S ^{[1
]}

VUILLEMIN, J ^{[1
]}

机构：

[1] STANFORD UNIV, COMP SCI DEPT, STANFORD, CA 94305 USA

来源：

关键词：

D O I：

10.1145/355609.362336

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：491 / 502

页数：12

共 17 条

[1] PROVING PROPERTIES OF PROGRAMS BY STRUCTURAL INDUCTION
BURSTALL, RM
[J]. COMPUTER JOURNAL, 1969, 12 (01) : 41 - &
[2] CADIOU JM, 1972, THESIS STANFORD U
[3] DEBAKKER JW, UNPUBLISHED MEMO
[4] FLOYD RW, 1967, MATHEMATICAL ASPECTS, V19
[5] GRIEF IG, 1972, THESIS MIT
[6] Kleene S.C., 1950, INTRO METAMATHEMATIC
[7] FORMALIZATION OF PROPERTIES OF FUNCTIONAL PROGRAMS
MANNA, Z
PNUELI, A
[J]. JOURNAL OF THE ACM, 1970, 17 (03) : 555 - &
[8] FIXPOINT APPROACH TO THEORY OF COMPUTATION
MANNA, Z
VUILLEMIN, J
[J]. COMMUNICATIONS OF THE ACM, 1972, 15 (07) : 528 - +
[9] MCCARTHY J, 1967, MATHEMATICAL ASPECTS, V19
[10] MILNER R, 1972, COMPUT SCI REPT STAN