Automatic program debugging

This paper presents a system (PHENARETE) which understands and improves Incompletely defined LISP programs, such as those written by students beginning to program In LISP. This system takes, as Input, the program without any additional Information. In order to understand the program, the system meta-evaluates It, using a library of pragmatic rules, describing the construction and correction of general program constructs, and a set of specialists describing the syntax and semantics of the standard LISP functions. The system can use its understanding of the program to detect errors In it, to debug them and, eventually, to justify Its proposed modifications. This paper gives a brief survey of the working of the system, emphasizing some commented examples.