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.
Identifer | oai:union.ndltd.org:MIT/oai:dspace.mit.edu:1721.1/6056 |
Date | 01 December 1987 |
Creators | Rich, Charles |
Source Sets | M.I.T. Theses and Dissertation |
Language | en_US |
Detected Language | English |
Format | 93 p., 8943620 bytes, 3472944 bytes, application/postscript, application/pdf |
Relation | AIM-1005 |
Page generated in 0.0019 seconds