Accession Number:

ADA183918

Title:

The Programmer's Apprentice: A Program Synthesis Scenario.

Descriptive Note:

Memorandum rept.,

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s):

Report Date:

1986-11-01

Pagination or Media Count:

47.0

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE