A Multi-level Approach to Program Synthesis

Abstract. 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 levbstraction. Besides providing an overall view we summarize the individual research results achieved in the course of this development.

• Type: Conference
• Year: 1997
• Where: LOPSTR
• Authors: Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann
• Keywords: Algorithm Design, Automated Reasoning, Coherent Program Synthesis, LOPSTR 1997, Theorem Proving