Accession Number:

AD0738570

Title:

Inductive Methods for Proving Properties of Programs,

Descriptive Note:

Corporate Author:

STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Report Date:

1971-11-01

Pagination or Media Count:

26.0

Abstract:

The paper has two main purposes. First, the authors clarify and extend known results about computation of recursive programs, emphasizing the difference between the theoretical and practical approaches. Secondly, the authors present and examine various known methods for proving properties of recursive programs. The authors discuss in detail two powerful inductive methods, computational induction and structural induction, illustrating their applications by various examples. The authors also briefly discuss some other ralated methods. Author

Subject Categories:

  • Theoretical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE