Accession Number : AD0738570

Title :   Inductive Methods for Proving Properties of Programs,

Corporate Author : STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE

Personal Author(s) : Manna,Zohar ; Ness,Stephen ; Vuillemin,Jean

Report Date : NOV 1971

Pagination or Media Count : 26

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)

Descriptors :   (*COMPUTER PROGRAMMING, MATHEMATICAL LOGIC), (*RECURSIVE FUNCTIONS, COMPUTER PROGRAMMING), MAPPING(TRANSFORMATIONS), PROGRAMMING LANGUAGES, SYNTAX, SET THEORY

Subject Categories : Theoretical Mathematics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE