On Automating the Construction of Programs

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 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1974
Accession Number
AD0784513

Entities

People

  • David C. Luckham
  • Jack R. Buchanan

Organizations

  • Stanford University

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Automatic Programming
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Environment
  • Information Science
  • Language
  • Programming Languages
  • Semantics
  • Side Effects
  • Structured Programming
  • Trees (Data Structures)
  • Universities

Fields of Study

  • Computer science

Readers

  • Computational Linguistics

Technology Areas

  • AI & ML
  • Autonomy
  • Autonomy - Autonomous System Control