论文信息 - Results in Knowledge-Based Program Synthesis

Results in Knowledge-Based Program Synthesis

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.

[1] Louis Ira Steinberg. A dialogue moderator for program specification dialogues in the PSI system , 1980 .

[2] Alan W. Biermann,et al. Approaches to Automatic Programming , 1976, Adv. Comput..

[3] David R. Barstow,et al. Knowledge-based program construction , 1979 .

[4] C. Cordell Green. The design of the PSI program synthesis system , 1976, ICSE '76.

[5] J. V. Phillips. Program Inference from Traces using Multiple Knowledge Sources , 1977, IJCAI.

[6] Elaine Kant,et al. Efficiency considerations in program synthesis : a knowledge-based approach , 1979 .

[7] C. Green. A Summary of the PSI Program Synthesis System , 1977, IJCAI.

[8] Jerrold M Ginsparg. Natural Language Processing in an Automatic Programming Domain , 1978 .

[9] Brian P. McCune. The PSI Program Model Builder - synthesis of very high-level programs , 1977 .