Interactive Synthesis of Computer Programs.

Abstract : Research concentrated on three topics: 1) Deductive synthesis of data flow networks, 2) Binary search algorithms, 3) Theory of plans. In the first area, a method of deductive synthesis of deterministic networks was developed. In the second area, general binary-search schema were constructed and specialized for particular applications. Finally, a variant of situational logic in which plans are explicit objects was introduced into the program-synthesis research.