Results in Knowledge-Based Program Synthesis
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
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.
@inproceedings{ijcai1979p75,
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 = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/75},
}
TY - CPAPER TI - Results in Knowledge-Based Program Synthesis AU - Green, C. Cordell AU - Gabriel, Richard P. AU - Kant, Elaine AU - Kedzierski, Beverly I. AU - McCune, Brian P. AU - Phillips, Jorge V. AU - Tappel, Steve AU - Westfold, Stephen J. T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/75 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
