Inductive Methods for Proving Properties of Programs,

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)

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1971
Accession Number
AD0738570

Entities

People

  • Jean Vuillemin
  • Stephen Ness
  • Zohar Manna

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Applied Computer Science
  • Artificial Intelligence
  • Computations
  • Computer Science

Readers

  • Approximation Theory.
  • Electrical Engineering
  • Technical Research and Report Writing.