Sciweavers

Share
LOPSTR
1997
Springer

A Multi-level Approach to Program Synthesis

12 years 3 days ago
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.
Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz,
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where LOPSTR
Authors Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann
Comments (0)
books