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