Inspection Methods in Programming: Cliches and Plans
Author(s)
Rich, Charles
DownloadAIM-1005.ps (8.529Mb)
Additional downloads
Metadata
Show full item recordAbstract
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.
Date issued
1987-12-01Other identifiers
AIM-1005
Series/Report no.
AIM-1005
Keywords
Programmer's Apprentice, automatic programming, knowledgesrepresentation, clich'es, plans, engineering problem solving