Results in Knowledge-Based Program Synthesis
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 [Kant-79] [Biermann-76] surveys related work in the automatic programming field.
Cite
Text
Green et al. "Results in Knowledge-Based Program Synthesis." International Joint Conference on Artificial Intelligence, 1979.Markdown
[Green et al. "Results in Knowledge-Based Program Synthesis." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/green1979ijcai-results/)BibTeX
@inproceedings{green1979ijcai-results,
title = {{Results in Knowledge-Based Program Synthesis}},
author = {Green, C. Cordell and Gabriel, Richard P. and Kant, Elaine and Kedzierski, Beverly I. and McCune, Brian P. and Phillips, Jorge V. and Tappel, Steve and Westfold, Stephen J.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1979},
pages = {342-344},
url = {https://mlanthology.org/ijcai/1979/green1979ijcai-results/}
}