Previous: TR 92-02 Next: TR 92-05

Intellektik: Technical report 92-04

Deriving Strategies designing Global Search Algorithms

Christoph Kreitz

We use a formalization of the meta-theory of program development to derive a verifiably correct strategy constructing well-structured global search algorithms from specifications. The derivation formalizes and strengthens an algorithm design strategy used in the KIDS system and shows how to close a minor gap in it. By expressing the strategy in a unified formal framework it can easily be implemented and compared with other program synthesis methods.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry