A Multi-level Approach to Program Synthesis

  • W. Bibel
  • D. Korn
  • C. Kreitz
  • F. Kurucz
  • J. Otten
  • S. Schmitt
  • G. Stolpmann
Conference paper

DOI: 10.1007/3-540-49674-2_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1463)
Cite this paper as:
Bibel W. et al. (1998) A Multi-level Approach to Program Synthesis. In: Fuchs N.E. (eds) Logic Program Synthesis and Transformation. LOPSTR 1997. Lecture Notes in Computer Science, vol 1463. Springer, Berlin, Heidelberg

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • W. Bibel
    • 1
  • D. Korn
    • 1
  • C. Kreitz
    • 2
  • F. Kurucz
    • 1
  • J. Otten
    • 2
  • S. Schmitt
    • 1
  • G. Stolpmann
    • 1
  1. 1.Fachgebiet Intellektik, Fachbereich InformatikDarmstadt University of TechnologyDarmstadtGermany
  2. 2.Department of Computer ScienceCornell UniversityIthacaUSA

Personalised recommendations