Accession Number:

AD0737701

Title:

Induction in Proofs about Programs.

Descriptive Note:

Master's thesis,

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE PROJECT MAC

Personal Author(s):

Report Date:

1972-02-01

Pagination or Media Count:

62.0

Abstract:

Four methods for proving equivalence of programs by induction are described and compared. They are recursion induction, structural induction, micro-rule induction, and truncation induction. McCarthys formalism for conditional expressions as function definitions is used and reinterpreted in view of Parks work on results in lattice theory as related to proofs about programs. The possible application of this work to automatic program verification is discussed. Author

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE