Practical syntactic error recovery in compilers

ABSTRACT

A substantial portion of any programmer's time is spent in debugging. One of the major services of any compiler ought to be to provide as much information as possible about compile-time errors in order to minimize the time required for debugging. A good error detection and recovery scheme should maximize the number of errors detected but minimize the number of times it reports an error when there is none. These spurious error detections and their associated error messages are usually engendered by an inappropriate recovery action.In this paper we describe a recovery scheme for syntax errors which provides high quality recovery with good diagnostic information at relatively low cost. In addition, implementation of the recovery scheme can be automated - that is, the recovery routine can be created by a parser-generator. Therefore, the compiler designer need not be burdened with the difficulties of error recovery and the programming effort necessary to design and debug a myriad of ad hoc recovery routines.

REFERENCES

• 1: Henry R. Bauer , Sheldon I. Becker , Susan L. Graham, ALGOL W implementation, Stanford University, Stanford, CA, 1968
• 2: Bauer, H. R., Becker, S., Graham, S. L., and Satterthwaite, E. "Algol W Language Description," Technical Report CS 110 Computer Science Department, Stanford University, Stanford, Ca., Sept. 1969.
• 3: Conway, R. W., Morgan, H. L., Wagner, R. A., and Wilcox, T. R. "PL/C. A High Performance Subset of PL/I," Technical Report 70-55, Computer Science Department, Cornell University, Ithaca, N.Y., February, 1970.
• 4: Richard W. Conway , Thomas R. Wilcox, Design and implementation of a diagnostic compiler for PL/I, Communications of the ACM, v.16 n.3, p.169-179, March 1973 [doi>10.1145/361972.361992]
• 5: David Gries, Use of transition matrices in compiling, Communications of the ACM, v.11 n.1, p.26-34, Jan. 1968 [doi>10.1145/362851.362872]
• 6: E. B. James , D. P. Partridge, Adaptive correction of program statements, Communications of the ACM, v.16 n.1, p.27-37, Jan. 1973 [doi>10.1145/361932.361940]
• 7: James, L. R. "A Syntax Directed Error Recovery Method," Master's thesis, Technical Report CSRG-13, Computer Systems Research Group, University of Toronto, Toronto, Canada, May 1972.
• 8: Knuth, D. E. "On the Translation of Languages from Left to Right", Information and Control, Vol. 8, November 1965, pp. 607-639.
• 9: La France, J. E. "Syntax-directed Error Recovery for Compilers," Ph.D. thesis, Illiac IV Document 249, Computer Science Department, University of Illinois, Urbana, Illinois, June 1971.
• 10: Ronald Paul Leinius, Error detection and recovery for syntax directed compiler systems, 1970
• 11: Jean-Pierre Levy, Automatic correction of syntax errors in programming languages, 1971
• 12: Howard L. Morgan, Spelling correction in systems programs, Communications of the ACM, v.13 n.2, p.90-94, Feb 1970 [doi>10.1145/362007.362033]
• 13: Thomas G. Peterson, Syntax error detection, correction and recovery in parsers, 1972
• 14: Rhodes, S. P. "Practical Syntactic Error Recovery for Programming Languages," Ph.D. thesis, Technical Report 15, Department of Computer Science, University of California, Berkeley, Ca., June 1973.
• 15: Niklaus Wirth , Helmut Weber, EULER: a generalization of ALGOL and it formal definition: Part 1, Communications of the ACM, v.9 n.1, p.13-25, Jan. 1966 [doi>10.1145/365153.365162]
• 16: Niklaus Wirth, PL360, a Programming Language for the 360 Computers, Journal of the ACM (JACM), v.15 n.1, p.37-74, Jan. 1968 [doi>10.1145/321439.321442]
• 17: Wirth, N. "The Programming Language Pascal," Acta Informatica, Vol. 1, January 1971, pp. 35-63.
• 18: Wirth, N. "The Design of a Pascal Compiler," Proceedings of the International Summer School on Program Structures and Fundamental Concepts of Programming, Munich, Germany, July 1971.