A Deductive Approach to Program Synthesis

  title={A Deductive Approach to Program Synthesis},
  author={Zohar Manna and Richard J. Waldinger},
  journal={ACM Trans. Program. Lang. Syst.},
Program synthesis is the systematic derivation of a program from a given specification. A deductive approach to program synthesis is presented for the construction of recursive programs. This approach regards program synthesis as a theorem-proving task and relies on a theorem-proving method that combines the features of transformation rules, unification, and mathematical induction within a single framework. 
Highly Influential
This paper has highly influenced 18 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
284 Citations
5 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 284 extracted citations


Publications referenced by this paper.
Showing 1-5 of 5 references

AND WALDINGER, a Synthesis: dreams ■f• programs

  • Z. MANNA
  • IEEE Trans. Softiv. Eng. SE-5,
  • 1979
Highly Influential
6 Excerpts

Automatic theorem proving with equality substitutions and mathematical induction

  • Machine Intell
  • 1968
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…