A Study in Automatic Programming

Abstract

A description of methods and an implementation of a system for automatic generation of programs is given. The problems of writing programs for numerical computation, symbol manipulation, robot control and everyday planning have been studied and some programs generated. A particular formalism, i.e. a FRAME, has been developed to define the programming environment and permit the statement of a problem. A frame, F, is formulated within the Logic of Programs (Hoare 1969, Hoare and Wirth 1972) and includes primitive functions and procedures, axioms, definitions and rules of program composition. A frame is translated into a backtrack problem solver augmented by special search procedures. The system is interactive, responds to simple advice and allows incremental and structured program development.

Open PDF

Document Details

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

Entities

People

  • Jack R. Buchanan

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Automatic Programming
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Control Systems
  • Databases
  • Intelligent Systems
  • Language
  • Programming Languages
  • Side Effects
  • Standards
  • Structured Programming

Readers

  • Computational Linguistics
  • Operations Research

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms
  • Autonomy
  • Autonomy - Autonomous System Control