Inspection Methods in Programming: Cliches and Plans
| dc.contributor.author | Rich, Charles | en_US |
| dc.date.accessioned | 2004-10-04T14:37:04Z | |
| dc.date.available | 2004-10-04T14:37:04Z | |
| dc.date.issued | 1987-12-01 | en_US |
| dc.identifier.other | AIM-1005 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1721.1/6056 | |
| dc.description.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. | en_US |
| dc.format.extent | 93 p. | en_US |
| dc.format.extent | 8943620 bytes | |
| dc.format.extent | 3472944 bytes | |
| dc.format.mimetype | application/postscript | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | en_US | |
| dc.relation.ispartofseries | AIM-1005 | en_US |
| dc.subject | Programmer's Apprentice | en_US |
| dc.subject | automatic programming | en_US |
| dc.subject | knowledgesrepresentation | en_US |
| dc.subject | clich'es | en_US |
| dc.subject | plans | en_US |
| dc.subject | engineering problem solving | en_US |
| dc.title | Inspection Methods in Programming: Cliches and Plans | en_US |
