A Framework for Stepwise Logic Algorithm Synthesis

Abstract

In this chapter, we develop a theoretical framework for stepwise synthesis of logic algorithms from examples and properties. Thus, in Section 7.1, we elaborate correctness criteria for logic algorithms, and in Section 7.2, we develop comparison criteria for logic algorithms. This provides an adequate structure for the formulation, in Section 7.3, of stepwise logic algorithm synthesis strategies. Future work and related work are discussed in Section 7.4 and Section 7.5, respectively, before drawing some conclusions in Section 7.6.