Accession Number:

ADA036915

Title:

Overview of a Linguistic Theory of Design.

Descriptive Note:

Memorandum rept.,

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s):

Report Date:

1976-12-01

Pagination or Media Count:

32.0

Abstract:

SPADE is a theory of the design of computer programs in terms of complementary planning and debugging processes. An overview of the authors recent research on this theory is provided. SPADE borrows tools from computational linguistics -- grammars, augmented transition networks ATNs, chart-based parsers -- to formalize planning and debugging. The theory has been applied to parsing protocols of programming episodes, constructing a grammar-based editor in which programs are written in a structured fashion. Author

Subject Categories:

  • Linguistics
  • Numerical Mathematics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE