---
title: "A Deductive Approach to Program Synthesis"
authors:
  - "Zohar Manna"
  - "Richard Waldinger"
doi: ""
url: "https://ijcai.org/proceedings/1979/121"
pdf: "https://ijcai.org/proceedings/1979/0121.pdf"
venue: "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"
year: 1979
pages: ""
track: ""
keywords:
---

# A Deductive Approach to Program Synthesis

Zohar Manna, Richard Waldinger

*Proceedings of the Sixth International Joint Conference on Artificial Intelligence*.

## Abstract

Program synthesis Is the systematic derivation of a program from a given specification. A deductive approt~ch to program synthesis Ia presented 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.