Inspection Methods in Programming: Cliches and Plans
dc.date.accessioned | 2004-10-04T14:37:04Z | |
dc.date.accessioned | 2018-11-24T10:11:42Z | |
dc.date.available | 2004-10-04T14:37:04Z | |
dc.date.available | 2018-11-24T10:11:42Z | |
dc.date.issued | 1987-12-01 | en_US |
dc.identifier.uri | http://hdl.handle.net/1721.1/6056 | |
dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/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.language.iso | 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 |
Files in this item
Files | Size | Format | View |
---|---|---|---|
AIM-1005.pdf | 3.472Mb | application/pdf | View/ |
AIM-1005.ps | 8.943Mb | application/postscript | View/ |