Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6056
Title: Inspection Methods in Programming: Cliches and Plans
Keywords: Programmer's Apprentice
automatic programming
knowledgesrepresentation
clich'es
plans
engineering problem solving
Issue Date: 9-Oct-2013
Description: 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.
URI: http://koha.mediu.edu.my:8181/xmlui/handle/1721
Other Identifiers: AIM-1005
http://hdl.handle.net/1721.1/6056
Appears in Collections:MIT Items

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.