Back to Search Start Over

Inductive Methods for Proving Properties of Programs.

Authors :
Manna, Zohar
Ness, Stephen
Vuillemin, Jean
Source :
Communications of the ACM; Aug1973, Vol. 16 Issue 8, p491-502, 12p
Publication Year :
1973

Abstract

Discusses inductive methods for proving properties of recursive programs. Clarification and extension of known results about computation of recursive programs; Difference between theoretical and practical approaches.

Subjects

Subjects :
RECURSIVE programming
MATHEMATICAL induction

Details

Language :
English
ISSN :
00010782
Volume :
16
Issue :
8
Database :
Complementary Index
Journal :
Communications of the ACM
Publication Type :
Periodical
Accession number :
5355305
Full Text :
https://doi.org/10.1145/355609.362336
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details