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
Highly Cited
This paper has 502 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


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

502 Citations

Citations per Year
Semantic Scholar estimates that this publication has 502 citations based on the available data.

See our FAQ for additional information.


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…