A multi-level approach to program synthesis.

Wolfgang Bibel, Daniel Korn, Christoph Kreitz, Ferenc Kurucz, Jens Otten, Stephan Schmitt, Gerd Stolpmann.

In N. Fuchs, ed., 7th International Workshop on Logic Program Synthesis and Transformation (LoPSTr'97),
LNAI 1463, pp. 1-25, Springer Verlag, 1998.


We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and algorithm design at different levels of abstraction. Besides providing an overall view we summarize the individual research results achieved in the course of this development.

Paper is available in
postscript and pdf format
  Slides of the conference presentation are available in compressed postscript and pdf format
(Presentation: Wolfgang Bibel)

Bibtex Entry

Back to overview of papers
@InProceedings{inp:Bibel+98a, author = "Wolfgang Bibel and Daniel Korn and Christoph Kreitz and Ferenc Kurucz and Jens Otten and Stephan Schmitt and Gerd Stolpmann", title = "A multi-level approach to program synthesis", booktitle = "Seventh International Workshop on Logic Program Synthesis and Transformation (LOPSTR'97)", year = 1998, editor = "N.~E. Fuchs", volume = 1463, series = "Lecture Notes in Artificial Intelligence", pages = "1--25", publisher = "Springer Verlag" }