INDUCTIVE METHODS FOR PROVING PROPERTIES OF PROGRAMS

被引：46

作者：

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 [J].

BURSTALL, RM .

[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, Introduction to Metamathematics

[7] FORMALIZATION OF PROPERTIES OF FUNCTIONAL PROGRAMS [J].

MANNA, Z ;

PNUELI, A .

[8] FIXPOINT APPROACH TO THEORY OF COMPUTATION [J].

MANNA, Z ;

VUILLEMIN, J .

[9]

MCCARTHY J, 1967, MATHEMATICAL ASPECTS, V19

[10]

MILNER R, 1972, COMPUT SCI REPT STAN