Accession Number:

AD0784816

Title:

A Study in Automatic Programming

Descriptive Note:

Interim rept.

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1974-05-01

Pagination or Media Count:

157.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE