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