SPADE: A Grammar Based Editor for Planning and Debugging Programs

Abstract

A grammar of plans is developed from a taxonomy of basic planning techniques. This grammar serves as the basis for the design of a new kind of interactive programming environment (SPADE), in which programs are generated by explicitly articulating planning descisions. The utility of this approach to program definition is that a record of these decisions, called the plan derivation, provides guidance for subsequent modification of debugging of the program.