Automatic Program Synthesis Reports: 1. Speeding up a Program Synthesizer. 2. A System for Program Synthesis from Examples,

Abstract

An algorithm is given for synthesizing a computer program from a trace of its behavior. Since the algorithm involves a search, the length of time required to do the synthesis of nontrivial programs can be quite large. Techniques are given for preprocessing the trace information to reduce enumeration, for pruning the search using a failure memory technique, and for using multiple traces to the best advantage. The results of numerous tests are given to demonstrate the value of the techniques. (Author)

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1973
Accession Number
AD0771332

Entities

People

  • Alan W. Biermann
  • Frederick E. Petry
  • R. Krishnaswamy
  • Richard Baum

Organizations

  • Ohio State University

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Automatic
  • Computer Programs
  • Computer Science
  • Computers
  • Contracts
  • Cooperation
  • Preprocessing

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Systems Analysis and Design