Intellektik: Technical report 92-04
Deriving Strategies designing Global Search Algorithms
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.