{"type":"ScholarlyArticle","title":"A Deductive Approach to Program Synthesis","authors":[{"name":"Zohar Manna","slug":"zohar-manna","given":"Zohar","family":"Manna","affiliation":""},{"name":"Richard Waldinger","slug":"richard-j-waldinger","given":"Richard J.","family":"Waldinger","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1979/121","pdf":"https://ijcai.org/proceedings/1979/0121.pdf","markdown":"https://ijcai.org/proceedings/1979/121.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/121","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":121,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}