• Citations Per Year
Learn More
We present an approach to developing a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and algorithm development at different levels of abstraction. Besides providing an overall view of the approach we summarize the individual research results achieved in the course of(More)
  • 1