Inductive Methods for Proving Properties of Programs

  title={Inductive Methods for Proving Properties of Programs},
  author={Zohar Manna and Stephen Nes and Jean Vuillemin},
  journal={Commun. ACM},
We have two main purposes in this paper. First, we clarify and extend known results about computation of recursive programs, emphasizing the difference between the theoretical and practical approaches. Secondly, we present and examine various known methods for proving properties of recursive programs. We discuss in detail two powerful inductive methods, computational induction and structural induction, illustrating their applications by various examples. We also briefly discuss some other… CONTINUE READING

From This Paper

Topics from this paper.
67 Citations
1 References
Similar Papers


Publications referenced by this paper.

Fixpoint Induction and Proofs of Program Properties

  • David Park
  • In Machine Intelligence 5 (eds. B. Meltzer and D…
  • 1969
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…