Sciweavers

LOPSTR
1997
Springer
14 years 4 months 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 alg...
Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, ...