Program Synthesis.

Christoph Kreitz.

In W. Bibel & P. Schmitt, eds., Automated Deduction - A Basis for Applications,
Applied Logic Series 10, Chapter III.2.3, pages 105-134, Kluwer, 1998.


Program Synthesis aims at the automatic construction of correct programs from their formal specifications. It relies on expressive formalisms for reasoning about programs and their properties and on deductive techniques for deriving a solution of a given programming problem in such a formalism. In this chapter we shall describe the principal approaches to program synthesis and their relation to the field of automated deduction.

Back to overview of papers

Bibtex Entry

@InCollection{inc:Kreitz98a, author = "Christoph Kreitz", title = "Program Synthesis", editor = "W.~Bibel and P.~Schmitt", booktitle = "Automated Deduction -- A Basis for Applications", chapter = "III.2.5", publisher = "Kluwer", year = 1998, volume = "III", pages = "105--134" }