The Programmer's Apprentice: A Program Synthesis Scenario.

Abstract

A scenario is used to illustrate the capabilities of a proposed Synthesis Apprentice. Given a specification, the Synthesis Apprentice will be able to make many of the design decisions needed to synthesize the required program. The Synthesis Apprentice will also be able to detect various kinds of contradictions and omissions in a specification. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1986
Accession Number
ADA183918

Entities

People

  • Charles Rich
  • Richard C. Waters

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Counter WMD

DTIC Thesaurus Topics

  • Automatic Programming
  • Coding
  • Computations
  • Computer Programming
  • Debugging
  • Device Drivers
  • Instrumentation
  • Language
  • Lisp Programming Language
  • Operating Systems
  • Programming Languages
  • Prototypes
  • Reasoning
  • Software Development
  • Software Prototyping
  • Specifications
  • Standards

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Database Systems and Applications
  • Occupational Health and Safety.