ERIC Number: ED207582
Record Type: Non-Journal
Publication Date: 1976-Dec
Reference Count: N/A
SPADE: A Grammar Based Editor for Planning and Debugging Programs. AI Memo 386.
Miller, Mark L.; Goldstein, Ira P.
The Structured Planning and Debugging Editor (SPADE) is a new kind of interactive programming environment in which computer programs are generated by explicitly articulating planning decisions. The design of SPADE is based upon the development of a grammar of plans from a taxonomy of basic planning techniques. The utility of this approach to program definition is that a record of planning decisions, called the plan derivation, provides guidance for subsequent modification or debugging of the program. Moreover, this grammatical approach to planning allows the development of a taxonomy of bugs, as particular kinds of errors in applying the planning grammar. Following a linguistic analogy, five types of planning bugs are characterized: syntactic, semantic, pragmatic, circumlocutions, and slips of the tongue. The plan derivation can be accessed during subsequent debugging to aid in diagnosing the underlying cause of erroneous code. Repair is accomplished via replanning, in which a substructure of the derivation is replaced. The design of a debugging assistant for the SPADE environment called RAID is based on this theory. Thirty references are listed. (Author/LLS)
Publication Type: Reports - Descriptive
Education Level: N/A
Sponsor: Advanced Research Projects Agency (DOD), Washington, DC.; National Science Foundation, Washington, DC.
Authoring Institution: Massachusetts Inst. of Tech., Cambridge. Artificial Intelligence Lab.