ON AUTOMATING THE CONSTRUCTION OF PROGRAMS
Original Publication Date: 1974-May-31
Included in the Prior Art Database: 2007-Apr-18
Software Patent Institute
Related PeopleAuthors: Other Related People:
STANFORD ARYIFICIAL INTELLIGENCE LABORATORY MEMO AIM- 236COMPUTER SCIENCE DEPARTMENTREPORT STAN-CS- 74- 433 ON AUfOMATiNG THE CQNSTRUC'TION OF PROGRAMS by JACK R. BUCHANAN and DAVID C. LUCKHAM Artificial Inteiligence Laboratory Stanford University May 1974 ABSTRACT An experimental system for automatically generating certain simple kinds of programs is described. The programs constructed are expressed in a subset of ALGOL containing assignments, function calls, condili~nal statements, while loops, and non-recursive procedure calls. The input is an environment of primitive programs and programming methods specified in a language currently used to define the semantics of the output programming language. The system has been used to generate programs for symbolic manipulation, robot control, every day planning, and computing arithmetical functions. This research was supported in part by the Advanced Research Projects Agency of the Office of the Secretary of Defense under contract [DAHC15-73-C-84351. The views and conclusions contained in this document are those of the authors and should not be interpreted as necessarily representing the official policies, either expressed or implied, of ARPAr NASA, or the U.S. Government.