Previous: AIDA-97-07 Next: AIDA-97-09 Index 1997

Intellectics Group: Technical Report 97-08

A Multi-level Approach to Program Synthesis

Wolfgang Bibel and Daniel Korn and Christoph Kreitz and F Kurucz and Jens Otten and Stephan Schmitt and Gerd Stolpmann

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.

Full Paper: Compressed postscript BibTeX entry