What the Compiler Should Tell the User
Compiler Construction, An Advanced Course, 2nd ed.
Error Recovery and Correction - An Introduction to the Literature
Compiler Construction, An Advanced Course, 2nd ed.
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
A project-based course in compiler construction
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
Proceedings of the 33rd International Conference on Software Engineering
Managing SAT inconsistencies with HUMUS
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
A comparison of strategies for tolerating inconsistencies during decision-making
Proceedings of the 16th International Software Product Line Conference - Volume 1
Hi-index | 0.00 |
In compiler technology, semantic error handling has too often used ad hoc techniques and terse messages of fixed content. In contrast, we present general models of diagnosis and repair of semantic errors and illustrate their use in the York Ada Workbench Compiler. The diagnostic model focuses upon the problem of selecting suitable information from which the programmer can locate and correct an error; following a brief discussion of an approach in which filters are applied to reports, and we give a more extensive account of a new approach using an interactive diagnostic interpreter. The repair model is based upon the idea of plastic nodes which are introduced into the compiler's internal representation of a program to replace normal nodes which are missing or erroneous.