julia@cs.warwick.ac.uk (Julia Dain) (04/15/91)
Bibliography on Syntax Error Handling in Language Translation Systems
JULIA DAIN
Department of Computer Science, University of Warwick, Coventry, CV31 1DW, UK
AHO, A. V. 1980.
Translator writing systems: where do they now stand?
Computer 13, 8, 9-14.
AHO, A. V. and JOHNSON, S. C. 1974.
LR parsing.
ACM Comput. Surv. 6, 2, 99-124.
AHO, A. V., and PETERSON, T. G. 1972.
A minimum-distance error-correcting parser for context-free languages.
SIAM J. Comput 1, 4, 305-312.
AHO, A. V., SETHI, R., and ULLMAN, J. D. 1986.
Compilers - Principles, Techniques, and Tools.
Addison-Wesley, Reading, MA.
AHO, A. V., and ULLMAN, J. D. 1972.
The Theory of Parsing, Translating and Compiling. Vol. I: Parsing.
Prentice-Hall, Englewood, NJ.
AMMANN, U. 1978.
Error recovery in recursive descent parsers.
In State of the Art and Future Trends in Compilation, INRIA, Paris, 231-238.
ANDERSON, S. O., and BACKHOUSE, R. C. 1981.
Locally least-cost error recovery in Earley's algorithm.
ACM Trans. Program. Lang. Syst. 3, 3, 318-347.
ANDERSON, S. O., BACKHOUSE, R. C., BUGGE, E. H., and STIRLING, C. P. 1983.
An assessment of locally least-cost error recovery.
Comput. J. 26, 1, 15-24.
BACKHOUSE, R. C. 1979.
Syntax of Programming Languages, Theory and Practice.
Prentice-Hall, London.
BACKHOUSE, R. C. 1984.
Global data flow analysis problems arising in locally least-cost error recovery.
ACM Trans. Program. Lang. Syst. 6, 2, 192-214.
BARNARD, D. T., and HOLT, R. C. 1982.
Hierarchic syntax error repair for LR grammars.
Int. J. Comput. Inf. Sci. 11, 4,
231-258.
BOUILLIER, P., and JOURDAN, M. 1987.
A new error repair and recovery scheme for lexical and syntactic analysis.
Sci. Comput. Program. 9, 3, 271-286.
BROWN, P. J. 1982.
"My system gives excellent error messages" - or does it.
Softw. Pract. Exper. 12, 1, 91-94.
BROWN, P. J. 1983.
Error messages: the neglected area of the man/machine interface?
Commun. ACM 26, 4, 246-249.
BURKE, M. G., and FISHER, G. A. 1982.
A practical method for syntactic error diagnosis and recovery.
SIGPLAN Notices 17, 6, 67-78.
BURKE, M. G., and FISHER, G. A. 1987.
A practical method for LR and LL syntactic error diagnosis and recovery.
ACM Trans. Program. Lang. Syst. 9, 2, 164-197.
CHYTIL, M. P., and DEMNER, J. 1987.
Panic mode without panic.
Proc. 14th International Colloquium on Automata, Languages and Programming,
Lecture Notes in Computer Science Vol. 267 (Ed. Ottmann), Springer-Verlag,
Berlin, 260-268.
CIESINGER, J. 1979.
A bibliography of error-handling.
SIGPLAN Notices 14, 1, 16-26.
CONWAY, R. W., and MAXWELL, W. L. 1963.
CORC - the Cornell Computing Language.
Commun. ACM 6, 6, 317-321.
CONWAY, R. W., and WILCOX, T. R. 1973.
Design and implementation of a diagnostic compiler for PL/I.
Commun. ACM 16, 3, 169-179.
COOPER, D. 1983.
Standard Pascal User Reference Manual.
Norton, New York.
CORBETT, R. P. 1985.
Static semantics and compiler error recovery.
Report No. UCB/CSD 85/251, Computer Science Division (EECS),
University of California, Berkeley, CA.
DAIN, J. A. 1989.
Automatic Error Recovery for LR Parsers in Theory and Practice.
Ph. D. thesis, University of Warwick, Coventry, UK.
DENCKER, P. 1985.
Some topics in parser generation.
IR-105, Vrije Universiteit, Amsterdam.
DION, B. A. 1982.
Locally least-cost error correctors for context-free and context-sensitive
parsers.
UMI Research Press, Ann Arbor.
DONNELLY, C., and STALLMAN, R. M. 1988.
Bison - the yacc-compatible parser generator.
Free Software Foundation Inc., Cambridge, MA.
DRUSEIKIS, F. C., and RIPLEY, G. D. 1976.
Error recovery for simple LR(k) parsers.
Proc. ACM Annual Conf., Houston, 396-400.
DWYER, B. 1981.
A user-friendly algorithm.
Commun. ACM 24, 9, 556-561.
EARLEY, J. 1970.
An efficient context-free parsing algorithm.
Commun. ACM 13, 2, 94-102.
FEYCOCK, S., and LAZARUS, P. 1976.
Syntax-directed correction of syntax errors.
Softw. Pract. Exper. 6, 2, 207-219.
FISCHER, C. N., and MAUNEY, J. 1980.
On the role of error productions in syntactic error correction.
Computer Languages 5, 131-139.
FISCHER, C. N., MILTON, D. R., and QUIRING, S. B. 1980.
Efficient LL(1) error correction and recovery using only insertions.
Acta Inf. 13, 141-154.
FISCHER, C. N., TAI, K. C., and MILTON, D. R. 1979.
Immediate error detection in strong LL(1) parsers.
Inf. Process. Lett. 8, 261-266.
GRAHAM, S. L., HARRISON, M. A., and RUZZO, W. L. 1980.
An improved context-free recognizer.
ACM Trans. Program. Lang. Syst. 2, 3, 415-462.
GRAHAM, S. L., HALEY, C. B., and JOY, W. N. 1979.
Practical LR error recovery.
SIGPLAN Notices 14, 8, 168-175.
GRAHAM, S. L., and RHODES, S. P. 1975.
Practical syntactic error recovery.
Commun. ACM 18, 11, 639-649.
GRAY, R. W. 1987.
Automatic error recovery in a fast parser.
USENIX Procs, Phoenix, 337-346.
GRIES, D. 1971.
Compiler Construction for Digital Computers.
Wiley, New York, NY.
GRIES, D. 1974.
Error recovery and correction - an introduction to the literature.
In Compiler Construction: An Advanced Course, Bauer and Eickel (Eds),
Springer-Verlag, Berlin, 627-638.
GRUNE, D., and JACOBS, C. J. H. 1988.
A programmer-friendly LL(1) parser generator.
Softw. Pract. Exper. 18, 1, 29-38.
HARPER, R., MILNER, R., and TOFTE, M. 1988.
The definition of Standard ML.
ECS-LFCS-88-62, LFCS, Dept of Computer Science, University of Edinburgh,
Edinburgh.
HAMMOND, K., and RAYWARD-SMITH, V. J. 1984.
A survey on syntactic error recovery and repair.
Comput. Lang. (Elmsford, NY) 9, 1, 51-67.
HARTMANN, A. C. 1977.
A Concurrent Pascal Compiler for Minicomputers.
Springer-Verlag, Berlin.
HORNING, J. J. 1974.
What the compiler should tell the user.
In Compiler Construction: An Advanced Course, Bauer and Eickel (Eds),
Springer-Verlag, Berlin, 525-548.
HORSPOOL, R. N., and WHITNEY, M. 1990.
Even faster LR parsing.
Softw. Pract. Exper. 20, 6, 515-535.
IRONS, E. T. 1963.
An error-correcting parse algorithm.
Commun. ACM 6, 11, 669-673.
JAMES, L. R. 1972.
A syntax directed error recovery method.
Technical Report CSRG-13, Computer Systems Research Group, University of
Toronto, Toronto.
JOHNSON, S. C. 1975.
Yacc - yet another compiler-compiler.
Computing Science Technical Report 32, AT&T Bell Laboratories, Murray Hill, NJ.
JOHNSON, S. C. 1978.
A portable compiler - theory and practice.
Conf. Record Fifth Annual ACM Symposium on Principles of Programming Languages,
ACM, New York, NY, 97-104.
KANTOROWITZ, E., and LAOR, H. 1986.
Automatic generation of useful syntax error messages.
Softw. Pract. Exper. 16, 7, 627-640.
KNUTH, D. E. 1968.
Semantics of context-free languages.
Math. Syst. Theory 2, 2, 127-145.
KOSKIMIES, K. 1990.
Lazy recursive descent parsing for modular language implementation.
Softw. Pract. Exper. 20, 8, 749-772.
KOSKIMIES, K., ELOMAA, T., LEHTONEN, T., and PAAKKI, J. 1988a.
TOOLS/HLP84 report and user manual.
Report A-1988-2, Dept of Computer Science, University of Helsinki, Helsinki.
KOSKIMIES, K., NURMI, O., PAAKKI, J., and SIPPU, S. 1988b.
The design of a language processor generator.
Softw. Pract. Exper. 18, 2, 107-135. KRAWCZYK, T. 1980.
KRAWCZYK, T. 1980.
Error correction by mutational grammars.
Inf. Process. Lett. 11, 1, 9-15.
LEINIUS, R. P. 1970.
Error detection and recovery for syntax directed systems.
Ph. D. Thesis, Computer Science Department, University of Wisconsin, Madison.
LEVY, J. P. 1975.
Automatic correction of syntax errors in programming languages.
Acta Inf. 4, 3, 271-292. LEWI, J., DE VLAMINCK,
K., HUENS, J., and HUYBRECHTS, M. 1978.
The ELL(1) parser generator and the error recovery mechanism.
Acta Inf. 10, 3, 209-228.
LYON, G. 1974.
Syntax-directed least-errors analysis for context-free languages: a
practical approach.
Commun. ACM 17, 1, 3-14.
MCKEEMAN, B. J. 1990.
A Compiler Generator.
Prentice-Hall, Englewood Cliffs, NJ.
MCKENZIE, B. J. 1990.
LR parsing of CFGs with restrictions.
Softw. Pract. Exper. 20, 8, ???.
MATTERN, F. 1984.
An annotated bibliography on error handling in compilers.
Sonderforschungsbereich 124, "VLSI und Parallelitat", Teilprojekt D1, Bericht
Nr 18/84, Fachbereich Informatik, Universitat Kaiserslautern, Kaiserslautern.
MAUNEY, J., and FISCHER, C. N. 1981.
An improvement to immediate error detection in strong LL(1) parsers.
Inf. Process. Lett. 12, 5, 211-212.
MAUNEY, J., and FISCHER, C. N. 1982.
A forward move algorithm for LL and LR Parsers.
SIGPLAN Notices 17, 6, 79-87.
MAUNEY, J., and FISCHER, C. N. 1988.
Determining the extent of lookahead in syntactic error repair.
ACM Trans. Program. Lang. Syst. 10, 3, 456-469.
MICKUNAS, M. D., and MODRY, J. A. 1978.
Automatic error recovery for LR parsers.
Commun. ACM 21, 6, 459-465.
MOLICH, R., and NIELSEN, J. 1990.
Improving a human-computer dialogue.
Commun. ACM 33, 3, 338-348.
MOULTON, P. G., and MULLER, M. E. 1967.
DITRAN - a compiler emphasizing diagnostics.
Commun. ACM 10, 1, 45-52.
NORMAN, D. A. 1983.
Design rules based on analyses of human error.
Commun. ACM 26, 4, 255-258.
PAI, A., and KIEBURTZ, R. B. 1979.
Global context recovery: a new strategy.
SIGPLAN Notices 14, 8, 158-167.
PAI, A., and KIEBURTZ, R. B. 1980.
Global context recovery: a new strategy for syntactic error recovery by
table-driven parsers.
ACM Trans. Program. Lang. Syst. 2, 1, 18-41.
PEMBERTON, S. 1980.
Comments on an error recovery scheme by Hartmann.
Softw. Pract. Exper. 10, 231-240.
PENNELLO, T. M., and DEREMER, F. 1978.
A forward move algorithm for LR error recovery.
Conf. Record Fifth Annual ACM Symposium on Principles of Programming Languages,
ACM, New York, 241-254.
PETERSON, T. G. 1972.
Syntax error detection, correction and recovery in compilers.
Ph. D. thesis, Stevens Institute of Technology.
POONEN, G. 1977.
Error recovery for LR(k) parsers.
Information Processing 77, North Holland Publishing Co., 529-533.
RAIHA, K. J. 1980.
Experiences with the compiler writing system HLP.
Procs. of a Workshop on Semantics-Directed Compiler Generation,
Lecture Notes in Computer Science, Springer-Verlag, Berlin, 350-362.
RAIHA, K. J., SAARINEN, M., SARJAKOSKI, M., SIPPU, S., SOISALON-SOININEN, E.,
AND TIENARI, M. 1983.
Revised report on the compiler writing system HLP78.
Report A-1983-1, Dept of Computer Science, University of Helsinki, Helsinki.
REISS, S. P. 1990.
Interacting with the FIELD environment.
Softw. Pract. Exper. 20, 51, S1/89-S1/115.
C., and DRUSEIKIS, F. C. 1978.
A statistical analysis of syntax errors.
Comput. Lang. (Elmsford, NY) 3, 227-240.
ROEHRICH, J. 1980.
Methods for the automatic construction of error correcting parsers.
Acta Inf. 13, 2, 115-139.
SHNEIDERMAN, B. 1982.
Designing computer system messages.
Commun. ACM 25, 9, 610-611.
SIPPU, S. 1981.
Syntax error handling in compilers.
Report A-1981-1, Dept of Computer Science, University of Helsinki, Helsinki.
SIPPU, S., and SOISALON-SOININEN, E. 1982.
Practical error recovery in LR parsing.
Conf. Record Ninth Annual ACM Symposium on Principles of Programming Languages,
ACM, New York, NY, 177-184.
SIPPU, S., and SOISALON-SOININEN, E. 1983.
A syntax-error handling technique and its experimental analysis.
ACM Trans. Program. Lang. Syst. 5, 4, 656-679.
STALLMAN, R. M. 1989.
Using and porting GNU CC.
Free Software Foundation Inc., Cambridge, MA.
SPENKE, M., MUHLENBEIN, H., MEVENKAMP, M., MATTERN, F., and BEILKEN, C. 1984.
A language independent error recovery method for LL(1) parsers.
Softw. Pract. Exper. 14, 11, 1095-1107.
STIRLING, C. 1985.
Follow set error recovery.
Softw. Pract. Exper. 15, 3, 239-257.
TAI, K. C. 1978.
Syntactic error correction in programming languages.
IEEE Trans. Softw. Eng. SE-4, 5, 414-423.
TAI, K. C. 1980a.
Locally minimum-distance correction of syntax errors in programming languages.
Procs. ACM National Conf., ACM, New York, NY, 204-210.
TAI, K. C. 1980b.
Predictors of context-free grammars.
SIAM J. Comput. 9, 3, 653-664.
TURNER, D. A. 1977.
Error diagnosis and recovery in one pass compilers.
Inf. Process. Lett. 6, 4, 113-115.
WAGNER, R. A., and FISCHER, M. J. 1974.
The string-to-string correction problem.
J. ACM 21, 1, 168-173.
WETHERELL, C. 1977.
Why automatic error correctors fail.
Comput. Lang. (Elmsford, NY) 2, 179-186.
WIRTH, N. 1968.
PL360 - a programming language for the 360 computers.
J. ACM 15, 1, 37-74.
WIRTH, N. 1971.
Design of a Pascal compiler.
Softw. Pract. Exper. 1, 4, 309-333.
WIRTH, N. 1976.
Algorithms + Data Structures = Programs.
Prentice-Hall, Englewood Cliffs, NJ, 1976.
--
Send compilers articles to compilers@iecc.cambridge.ma.us or
{ima | spdcc | world}!iecc!compilers. Meta-mail to compilers-request.