A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Understanding and debugging novice programs
1990
Artificial Intelligence
Accurate identification and explication of program bugs requires an understanding of the programmer's intentions. This paper describes a system called PROUST which performs intention-based diagnosis of errors in novice PASCAL programs. The technique used involves generating possible goal decompositions for the program, matching them against the program, and then proposing bugs and misconceptions to explain the mismatches. Empirical studies of PROUST's performance show that it achieves high
doi:10.1016/0004-3702(90)90094-g
fatcat:uxhasl33qrffnnzms6csxlo4xq