Deriving Strategies for the Design of Global Search Algorithms.

Christoph Kreitz.

Forschungsbericht AIDA-92-04, Technische Hochschule Darmstadt, FG Intellektik, 1992.


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.

Back to overview of papers

Bibtex Entry

@TechReport{tr:Kreitz92a, author = "Christoph Kreitz", title = "Deriving Strategies for the Design of Global Search Algorithms", institution = "TU Darmstadt, FG Intellektik", year = 1992, month = "April", type = "Forschungsbericht", number = "AIDA--92--04" }