Inspection Methods in Programming: Cliches and Plans.

Abstract

Inspection methods are a kind of engineering problem solving based on the recognition and use of standard forms or cliches. Examples are given of program analysis, program synthesis and program validation by inspection. A formalism, called the Plan Calculus, is defined and used to represent programming cliches in a convenient, canonical, and programming-language independent fashion.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1987
Accession Number
ADA192782

Entities

People

  • Charles Rich

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Computer Programming
  • Computers
  • Debugging
  • Diagrams
  • Electrical Engineering
  • Engineering
  • Engineers
  • Grammars
  • Hash Tables
  • High Level Languages
  • Language
  • Lisp Programming Language
  • Pattern Recognition
  • Programming Languages
  • Software Development

Fields of Study

  • Computer science

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Environmental Engineering
  • Software Engineering