Fundamentals of Deductive Program Synthesis

  title={Fundamentals of Deductive Program Synthesis},
  author={Zohar Manna and Richard J. Waldinger},
  journal={IEEE Trans. Software Eng.},
An informal tutorial is presented for program synthesis, with an emphasis on deductive methods. According to this approach, to construct a program meeting a given specification, we prove the existence of an object meeting the specified conditions. The proof is restricted to be sufficiently constructive, in the sense that, in establishing the existence of the desired output, the proof is forced to indicate a computational method for finding it. That method becomes the basis for a program that… CONTINUE READING
Highly Cited
This paper has 173 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.

173 Citations

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

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 20 references

A framework for the synthesis of reactive modules

  • R. Rosner
  • Proc . Concurency ’
  • 1989

A machineoriented logic based on the resolution principle

  • J. A. Robinson
  • J . ACM
  • 1988

The origin of a binarysearch paradigm

  • R. Waldinger
  • Sci . Comput . Program .
  • 1987

Checking the proof of Godel ’ s incompleteness theorem

  • N. Shankar
  • Instit . Comput . Sci .
  • 1985

Algorithmic Program Debugging

  • E. Shapiro
  • 1983

Similar Papers

Loading similar papers…