BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-74-433
       ENTRY:: August 23, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: On automating the construction of programs.
        TYPE:: Technical Report
      AUTHOR:: Buchanan, Jack R.
      AUTHOR:: Luckham, David C.
        DATE:: May 1974
       PAGES:: 72
    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, conditional statements, while
               loops, and non-recursive procedure calls. The input is an
               environment of primitive programs and programming methods
               specified in a lnaugage 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.
       NOTES:: [Adminitrivia V1/Prg/19950823]
         END:: STAN//CS-TR-74-433