Overview of a Linguistic Theory of Design.

Abstract

SPADE is a theory of the design of computer programs in terms of complementary planning and debugging processes. An overview of the author's recent research on this theory is provided. SPADE borrows tools from computational linguistics -- grammars, augmented transition networks (ATN's), 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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1976
Accession Number
ADA036915

Entities

People

  • Ira P. Goldstein
  • Mark L. Miller

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Automated Speech Recognition
  • Computational Linguistics
  • Computational Science
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Context Free Grammars
  • Debugging
  • Education
  • Grammars
  • Language
  • Linguistics
  • Psychology
  • Structured Programming
  • Students

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Computational Linguistics