{"type":"ScholarlyArticle","title":"On Syntax-Directed, Semantics-Supported Program Synthesis","authors":[{"name":"Wolfgang Bibel","slug":"wolfgang-bibel","given":"Wolfgang","family":"Bibel","affiliation":""}],"abstract":"A number of strategies for the synthesis of alg o rithms from a given input-output specification of a problem are presented which are centered around a few basic principles. It has been verified tor more than ten different algorithms that their uniform application in all cases results in a successful deductive synthesis. They include a spanning-tree algorithm, a graph-circuits algorithm ., a finding-the-ith-smallest-element algorithm, and a linear (string) pattern-matching algorithm. Two of them are presented here.","doi":null,"url":"https://ijcai.org/proceedings/1979/16","pdf":"https://ijcai.org/proceedings/1979/0016.pdf","markdown":"https://ijcai.org/proceedings/1979/16.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/16","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":16,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}