Algorithm theories and design tactics

https://doi.org/10.1016/0167-6423(90)90025-9Get rights and content
Under an Elsevier user license
open archive

Abstract

Algorithm theories represent the structure common to a class of algorithms, such as divide-and-conquer or backtrack. An algorithm theory for a class A provides the basis for design tactics—specialized methods for designing A-algorithms from formal problem specifications. We illustrate this approach with recent work on the theory of global search algorithms and briefly mention several others. Several design tactics have been implemented in the kids/cypress system and have been used to semiautomatically derive many algorithms.

Cited by (0)