Deriving Strategies for the Design of Global Search Algorithms.
Christoph Kreitz.
Forschungsbericht AIDA-92-04, Technische Hochschule Darmstadt, FG Intellektik, 1992.
Abstract
	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" }