Paper Info
Title
The design of the PSI program synthesis system
Abstract
This paper presents an overview of the current state of the PSI automatic program synthesis system and discusses the design considerations. The PSI system allows a user to specify a desired program in a dialogue using natural language and traces. PSI then synthesizes a program meeting these specifications. The target programs are simple symbolic computation programs in LISP. PSI may be described as a knowledge-based program understanding system. It is organized as a collection of closely interacting modules, or experts in the areas of natural language, discourse, traces, application domain, high-level program modelling, coding, and efficiency. An implementation effort is underway and several modules are now working.
Year
Venue
Keywords
1976
ICSE
natural language,symbolic computation,knowledge based system,knowledge based systems,knowledge base
Field
DocType
ISBN
Programming language,Software engineering,Program synthesis,Computer science,Lisp,Knowledge-based systems,Symbolic computation,Natural language,Application domain,Program analysis,Automatic programming
Conference
978-0-89791-146-7
Citations 
PageRank 
References 
39
35.25
8
Authors
1
Name
Order
Citations
PageRank
Cordell Green1431677.34