Plan Verification in a Programmer's Apprentice (opens in new tab)

Plan Verification in a Programmer's Apprentice Shrobe, Howard Elliot Brief Statement of the Problem: An interactive programming environment called the Programmer's Apprentice is described. Intended for use by the expert programmer in the process of program design and maintenance, the apprentice will be capable of understanding, explaining and reasoning about the behavior of real-world LISP programs with side effects on complex data-structures. We view programs as engineered devices whose ana...