Stereotyped program debugging: an aid for novice programmers

✍ Scribed by Harald Wertz

• Publisher: Elsevier Science
• Year: 1982
• Weight: 670 KB
• Volume: 16
• Category: Article
• ISSN: 0020-7373
• DOI: 10.1016/s0020-7373(82)80047-3

✦ Synopsis

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 eliminate them and, eventually, to justify its proposed modifications. This paper'gives a brief survey of the working of the system, emphasizing some commented examples.