Business Intelligence

Tactical Synthesis of Efficient Global Search Algorithms

Free registration required

Executive Summary

Algorithm synthesis transforms a formal specification into an efficient algorithm to solve a problem. Algorithm synthesis in Specware combines the formal specification of a problem with a high-level algorithm strategy. To derive an efficient algorithm, a developer must define operators that refine the algorithm by combining the generic operators in the algorithm with the details of the problem specification. This derivation requires skill and a deep understanding of the problem and the algorithmic strategy. In this paper the authors introduce two tactics to ease this process. The tactics serve a similar purpose to tactics used for determining indefinite integrals in calculus, which is suggesting possible ways to attack the problem.

  • Format: PDF
  • Size: 68.9 KB