A Discipline of Programming
A new approach to program testing
Proceedings of the international conference on Reliable software
The design of an integrated, interactive and incremental programming environment
ICSE '82 Proceedings of the 6th international conference on Software engineering
An integrated LISP programming environment (Extended Abstract)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Some ideas on the educational use of computers
ACM '81 Proceedings of the ACM '81 conference
The conceptual calculus for automatic program understanding
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
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.