Accession Number : ADA192782

Title :   Inspection Methods in Programming: Cliches and Plans.

Descriptive Note : Memorandum rept.,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s) : Rich, Charles

PDF Url : ADA192782

Report Date : Dec 1987

Pagination or Media Count : 94

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.

Descriptors :   *AUTOMATIC PROGRAMMING, CALCULUS, ENGINEERING, INSPECTION, PLANNING, PROBLEM SOLVING, SYNTHESIS, TEST METHODS, VALIDATION

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE