Advanced Search
DSpace@MIT

Understanding Simple Picture Programs

Research and Teaching Output of the MIT Community

Show simple item record

dc.contributor.author Goldstein, Ira P. en_US
dc.date.accessioned 2004-10-20T20:04:57Z
dc.date.available 2004-10-20T20:04:57Z
dc.date.issued 1974-04-01 en_US
dc.identifier.other AITR-294 en_US
dc.identifier.uri http://hdl.handle.net/1721.1/6893
dc.description.abstract What are the characteristics of the process by which an intent is transformed into a plan and then a program? How is a program debugged? This paper analyzes these questions in the context of understanding simple turtle programs. To understand and debug a program, a description of its intent is required. For turtle programs, this is a model of the desired geometric picture. a picture language is provided for this purpose. Annotation is necessary for documenting the performance of a program in such a way that the system can examine the procedures behavior as well as consider hypothetical lines of development due to tentative debugging edits. A descriptive framework representing both causality and teleology is developed. To understand the relation between program and model, the plan must be known. The plan is a description of the methodology for accomplishing the model. Concepts are explicated for translating the global intent of a declarative model into the local imperative code of a program. Given the plan, model and program, the system can interpret the picture and recognize inconsistencies. The description of the discrepancies between the picture actually produced by the program and the intended scene is the input to a debugging system. Repair of the program is based on a combination of general debugging techniques and specific fixing knowledge associated with the geometric model primitives. In both the plan and repairing the bugs, the system exhibits an interesting style of analysis. It is capable of debugging itself and reformulating its analysis of a plan or bug in response to self-criticism. In this fashion, it can qualitatively reformulate its theory of the program or error to account for surprises or anomalies. en_US
dc.format.extent 228 p. en_US
dc.format.extent 19954783 bytes
dc.format.extent 15704356 bytes
dc.format.mimetype application/postscript
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.relation.ispartofseries AITR-294 en_US
dc.title Understanding Simple Picture Programs en_US


Files in this item

Name Size Format Description
AITR-294.ps 19.03Mb Postscript
AITR-294.pdf 14.97Mb PDF

This item appears in the following Collection(s)

Show simple item record

MIT-Mirage