A Deductive Approach to Program Synthesis
ZOHAR MANNA , Stanford University and Weizmann Institute
RICHARD WALDINGER, SRI International
Publisher Summary
This chapter presents a deductive approach to program synthesis. Program synthesis is the systematic derivation of a program from a given specification. The chapter presents a deductive approach to program synthesis for the construction of recursive programs. This approach regards program synthesis as a theorem-proving task and relies on a theorem-proving method that combines the features of transformation rules, unification, and mathematical induction within a single framework. The chapter also describes a framework for program synthesis that again relies on a theorem-proving ...
Get Readings in Artificial Intelligence and Software Engineering now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
