{"type":"ScholarlyArticle","title":"Results in Knowledge-Based Program Synthesis","authors":[{"name":"C. Cordell Green","slug":"c-cordell-green","given":"C. Cordell","family":"Green","affiliation":""},{"name":"Richard P. Gabriel","slug":"richard-p-gabriel","given":"Richard P.","family":"Gabriel","affiliation":""},{"name":"Elaine Kant","slug":"elaine-kant","given":"Elaine","family":"Kant","affiliation":""},{"name":"Beverly I. Kedzierski","slug":"beverly-i-kedzierski","given":"Beverly I.","family":"Kedzierski","affiliation":""},{"name":"Brian P. McCune","slug":"brian-p-mccune","given":"Brian P.","family":"McCune","affiliation":""},{"name":"Jorge V. Phillips","slug":"jorge-v-phillips","given":"Jorge V.","family":"Phillips","affiliation":""},{"name":"Steve Tappel","slug":"steve-tappel","given":"Steve","family":"Tappel","affiliation":""},{"name":"Stephen J. Westfold","slug":"stephen-j-westfold","given":"Stephen J.","family":"Westfold","affiliation":""}],"abstract":"This paper reviews the entire PSI program synthesis system, summarizing progress made during the past two years. PSI synthesizes efficient programs from several types of abstract specifications. The paper presents a brief summary of PSI, an example dialogue demonstrating its performance, and a discussion of Its present capabilities. Explanation of the detailed operation of the system is omitted in this short paper. For an overview of prior work, see [Green- 76}. for more details see [Ginsparg- 78), [Steinberg-79), [Barstow- 79), and [I< ant- 79). [Biermann- 76) surveys related work In the automatic programming field.","doi":null,"url":"https://ijcai.org/proceedings/1979/75","pdf":"https://ijcai.org/proceedings/1979/0075.pdf","markdown":"https://ijcai.org/proceedings/1979/75.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/75","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":75,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}