Compile-time error diagnostics in syntax-directed compilers
Colin J. Burgess · The Computer Journal · 1972
This paper shows that it is possible to formally specify the compile-time error diagnostics provided by a syntax-directed compiler and investigates the extent to which these diagnostics can be automatically inserted into a given grammar.