Algorithm Analysis and Algorithm Schemata

Abstract

Algorithm schemata are a popular research topic. In Section 8.1, we introduce algorithm schemata and argue that they are an important support for guiding algorithm design. Then, in Section 8.2, we introduce a logic algorithm schema reflecting a divide-and-conquer design strategy. This allows us, in Section 8.3, to refine the framework of Chapter 7 to stepwise and schema-guided synthesis of logic algorithms from examples and properties. Future work and related work are discussed in Section 8.4 and Section 8.5, respectively, before drawing some conclusions in Section 8.6.