A bibliography on syntax error handling in context free languages

It is intended eventually to produce a complete annotated English language bibliography on error handling in context free languages. I have also included spelling correction in this bibliography on the grounds that it is appropriate 1960 in changing a faulty symbol into a correct one. There are applications for some of this material in the areas of speech [2] and picture pattern recognition, but I have cited only those items that refer specifically to context free languages. Items are grouped by year of publication, and ordered 1962 alphabetically by first author within a year. Items marked [3] with a dagger (t) are in my collection and have been reviewed for relevance (if there are any hard-to-obtain items, in this group, I would be happy to make copies of them 1963 available); others are cited elsewhere as relevant, but are as yet unreviewed (I would appreciate receiving copies of [4] these from anyone who has access to them). Remarks following the citations serve several purposes: those of the form "See [211]" are pointers to another publication that is more accessible and essentially duplicates the annotated citation; those of the form "See also [85]" draw attention to an apparently related paper, usually by the same authors; those of the form "Cited in [134]" are not in my collection, and I am giving the most recent authoritative source for the citation; items whose subject is broader than error handling alone have been annotated with specific section or page numbers; and items whose error handling is not explicitly for the purposes of parsing context free programming languages (speech and picture recognition, spelling correction, even error message criteria) are annotated with their specific subject area. Other bibliographies and surveys: [76,106,176,213,214, 248]; Mattern 's [249] is the most up-to-date bibliography, annotated with quotations from referencing sources; it contains numerous items excluded from this bibliography because they were not in English. 1964 A c k n o w l e d g e m e n t s This bibliography grew out of a graduate seminar course conducted jointly with Fred Ires [9] and with the part icipation of Laura Babbitt , John Morgan and Henry Worth, in the Winter of 1989. The Interlibrary Loan Service of the Mabel Zoe Wilson Library has been [10] superb at tracking down obscure and incomplete references as well as acquiring materials in a timely manner.

[1]  Michael G. Burke,et al.  A practical method for syntactic error diagnosis and recovery , 1982, SIGPLAN '82.

[2]  Frank DeRemer,et al.  Practical Error Recovery for LR Parsers , 1977 .

[3]  Charles Roger Litecky,et al.  A study of errors, error-proneness, and error diagnosis of programming languages with special reference to cobol. , 1974 .

[4]  Derek Partridge,et al.  Heuristic methods in the analysis of program statements , 1972 .

[5]  Kuo-Chung Tai Locally minimum-distance correction of syntax errors in programming languages , 1980, ACM '80.

[6]  Alan L. Tharp,et al.  Correcting human error in alphanumeric terminal input , 1977, Inf. Process. Manag..

[7]  Colin Stirling,et al.  Follow set error recovery , 1985, Softw. Pract. Exp..

[8]  Mauro Di Manzo,et al.  Error Recovery with Attribute Grammars , 1982, Comput. J..

[9]  C. J. Burgess Compile-time error diagnostics in syntax-directed compilers , 1972, Comput. J..

[10]  Gordon Lyon,et al.  Syntax-directed least-errors analysis for context-free languages , 1974, Commun. ACM.

[11]  Howard Lee Morgan,et al.  Spelling correction in systems programs , 1970, Commun. ACM.

[12]  David Thomas Barnard Hierarchic syntax error repair , 1981 .

[13]  P. Prusinkiewicz Error Detection Using Regular Languages , 1976, MFCS.

[14]  Peter J. Brown ‘My system gives excellent error messages’—or does it? , 1982, Softw. Pract. Exp..

[15]  Victor J. Rayward-Smith,et al.  A Survey on Syntactic Error Recovery and Repair , 1984, Comput. Lang..

[16]  King-sun Fu,et al.  Error-Correcting Tree Automata for Syntactic Pattern Recognition , 1978, IEEE Transactions on Computers.

[17]  Jan Maluszynski A Contribution to Error Recovery , 1975, MFCS.

[18]  Vimal Singh Begwani A new approach for attribute evaluation and error correction in compilers , 1982 .

[19]  Richard A. Thompson,et al.  Language Correction Using Probabilistic Grammars , 1976, IEEE Transactions on Computers.

[20]  Charles N. Fischer,et al.  A forward move algorithm for LL and LR parsers , 1982, SIGPLAN '82.

[21]  Fred J. Damerau,et al.  A technique for computer detection and correction of spelling errors , 1964, CACM.

[22]  Jacques E. LaFrance Optimization of error recovery in syntax-directed Parsing algorithms , 1970 .

[23]  Alfred V. Aho,et al.  Principles of Compiler Design , 1977 .

[24]  STEVEN PEMBERTON Comments on an error‐recovery scheme by Hartmann , 1980, Softw. Pract. Exp..

[25]  Michael G. Burke,et al.  A practical method for LR and LL syntactic error diagnosis and recovery , 1987, TOPL.

[26]  Charles N. Fischer,et al.  An Improvement to Immediate Error Detection in Strong LL(1) Parsers , 1981, Inf. Process. Lett..

[27]  M. Dennis Mickunas,et al.  Automatic error recovery for LR parsers , 1978, CACM.

[28]  G. David Ripley,et al.  Error recovery for Simple LR(k) parsers , 1976, ACM '76.

[29]  D. A. Turner Error Diagnosis and Recovery in One Pass Compilers , 1977, Inf. Process. Lett..

[30]  Eljas Soisalon-Soininen,et al.  Practical error recovery in LR parsing , 1982, POPL '82.

[31]  Rafael C. González,et al.  Syntactic Recognition of Imperfectly Specified Patterns , 1975, IEEE Transactions on Computers.

[32]  Karl N. Levitt,et al.  Software Reliability , 1971, Computer.

[33]  G. David Ripley,et al.  A Statistical Analysis of Syntax Errors , 1978, Comput. Lang..

[34]  Saul Rosen,et al.  PUFFT—The Purdue University fast FORTRAN translator , 1965, CACM.

[35]  Paul G. Sorenson,et al.  The Theory And Practice of Compiler Writing , 1985 .

[36]  Charles N. Fischer,et al.  Crafting a Compiler , 1988 .

[37]  Joachim Ciesinger Discussion of Some Error Correction Techniques , 1979, GI Jahrestagung.

[38]  David Gries,et al.  Compiler Construction for Digital Computers , 1971 .

[39]  Ray Teitelbaum,et al.  Context-free error analysis by evaluation of algebraic power series , 1973, STOC.

[40]  MICHAEL G. THOMASON,et al.  Errors in Regular Languages , 1974, IEEE Transactions on Computers.

[41]  Karel De Vlaminck,et al.  Project LILA : The ELL(1) generator, error recovery , 1976 .

[42]  Roland Carl Backhouse,et al.  An Assessment of Locally Least-Cost Error Recovery , 1983, Comput. J..

[43]  Robert A. Wagner,et al.  On the complexity of the Extended String-to-String Correction Problem , 1975, STOC.

[44]  Edgar T. Irons An error-correcting parse algorithm , 1963, CACM.

[45]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[46]  Johannes Röhrich,et al.  Methods for the automatic construction of error correcting parsers , 1980, Acta Informatica.

[47]  Robert A. Wagner,et al.  Order-n correction for regular languages , 1974, CACM.

[48]  Thomas G. Peterson Syntax error detection, correction and recovery in parsers , 1972 .

[49]  Alan M. Davis,et al.  The design and implementation of a table driven, interactive diagnostic programming system , 1976, CACM.

[50]  Gordon T. McGruther An approach to automating syntax error detection recovery, and correction for LR(k) grammars. , 1972 .

[51]  John Cocke,et al.  Programming languages and their compilers: Preliminary notes , 1969 .

[52]  William L. Maxwell,et al.  CORC—the Cornell computing language , 1963, CACM.

[53]  Richard W. Hamming,et al.  Error detecting and error correcting codes , 1950 .

[54]  Lambert Meertens,et al.  Parsing algol 68 with syntax-directed error recovery , 1975 .

[55]  Leon Davidson,et al.  Retrieval of misspelled names in an airlines passenger record system , 1962, CACM.

[56]  Alfred V. Aho,et al.  LR Parsing , 1974, ACM Comput. Surv..

[57]  Martin Jourdan,et al.  A New Error Repair and Recovery Scheme for Lexical and Syntactic Analysis , 1987, Sci. Comput. Program..

[58]  Stefan Feyock,et al.  Syntax‐directed correction of syntax errors , 1976, Softw. Pract. Exp..

[59]  Johannes Röhrich Syntax-error Recovery in LR-Parsers , 1976, Fachtagung über Programmiersprachen.

[60]  Alfred V. Aho,et al.  A Minimum Distance Error-Correcting Parser for Context-Free Languages , 1972, SIAM J. Comput..

[61]  Charles N. Fischer,et al.  Determining the extent of lookahead in syntactic error repair , 1988, TOPL.

[62]  Michael J. Fischer,et al.  The String-to-String Correction Problem , 1974, JACM.

[63]  Abdulaziz Nassir Sagr Comparative analysis of error detection and recovery in syntax directed compilers. , 1978 .

[64]  George Poonen Error Recovery for LR(k) Parsers , 1977, IFIP Congress.

[65]  T G Muchnick,et al.  On some extensions of syntactic error recovery technique based on phrase markers , 1986, SIGP.

[66]  Alfred C. Hartmann A Concurrent Pascal Compiler for Minicomputers , 1977, Lecture Notes in Computer Science.

[67]  Niklaus Wirth,et al.  PL360, a Programming Language for the 360 Computers , 1968, JACM.

[68]  Roland Carl Backhouse,et al.  Locally Least-Cost Error Recovery in Earley's Algorithm , 1981, TOPL.

[69]  J. J. Horning,et al.  A compiler generator , 1970 .

[70]  Charles N. Fischer,et al.  On the Role of Error Productions in Syntactic Error Correction , 1980, Comput. Lang..

[71]  Charles R. Blair,et al.  A Program for Correcting Spelling Errors , 1960, Inf. Control..

[72]  Heinz Mühlenbein,et al.  A language independent error recovery method for LL(1) parsers , 1984, Softw. Pract. Exp..

[73]  Edmond Schonberg,et al.  The NYU Ada translator and interpreter , 1980, SIGPLAN '80.

[74]  Derek Partridge,et al.  Adaptive correction of program statements , 1973, Commun. ACM.

[75]  Piotr Wyrostek On the 'Correct Prefix Property' in Precedence Parsers , 1983, Inf. Process. Lett..

[76]  Robert A. Wagner,et al.  Common phrases and minimum-space text storage , 1973, CACM.

[77]  King-sun Fu,et al.  Stochastic Error-Correcting Syntax Analysis for Recognition of Noisy Patterns , 1977, IEEE Transactions on Computers.

[78]  Thomas Evans Shields Syntax directed error analysis in automatically constructed parsers. , 1978 .

[79]  B. R. Rowland,et al.  An all(1) compiler generator , 1979, SIGPLAN '79.

[80]  Charles N. Fischer,et al.  Immediate Error Detection in Strong LL(1) Parsers , 1979, Inf. Process. Lett..

[81]  Urs Ammann Error recovery in recursive descent parsers , 1978 .

[82]  L.G.L.T. Meertens,et al.  A syntax-directed error-recovery method for parsing algol 68 programs : (prepublication) , 1973 .

[83]  David A. Poplawski Error recovery for extended ll-regular parsers. , 1978 .

[84]  Susan L. Graham,et al.  Practical syntactic error recovery , 1975, CACM.

[85]  James J. Horning,et al.  What the Compiler Should Tell the User , 1976, Compiler Construction.

[86]  Rodney W. Topor,et al.  A note on error recovery in recursive descent parsers , 1982, SIGP.

[87]  Thiruvengadam Radhakrishnan,et al.  Compaction of diagnostic messages for compilers , 1977, Softw. Pract. Exp..

[88]  P. G. Moulton,et al.  DITRAN—a compiler emphasizing diagnostics , 1967, CACM.

[89]  Eljas Soisalon-Soininen,et al.  A Scheme for LR(k) parsing with error recovery: Part I: LR(k) parsing , 1980 .

[90]  E. T. Irons,et al.  The structure and use of the syntax directed compiler , 1963 .

[91]  William Bridges Smith Error control in formal languages , 1968 .

[92]  Ronald Paul Leinius,et al.  Error detection and recovery for syntax directed compiler systems , 1970 .

[93]  Carlo Ghezzi LL(1) Grammars Supporting an Efficient Error Handling , 1975, Inf. Process. Lett..

[94]  Jean H. Gallier,et al.  Building friendly parsers , 1982, POPL '82.

[95]  Patrick A. V. Hall,et al.  Approximate String Matching , 1994, Encyclopedia of Algorithms.

[96]  Kuo-chung Tai,et al.  The recovery of parsing configurations for LR(1) parsers , 1977, ACM-SE 15.

[97]  Derek Partridge,et al.  Tolerance to Inaccuracy in Computer Programs , 1976, Comput. J..

[98]  Gregory F. Johnson,et al.  The Poe language-based editor project , 1984 .

[99]  David N. Freeman Error correction in CORC: the Cornell Computing Language , 1964, AFIPS '64 (Fall, part I).

[100]  Michael Harry Tindall An interactive compile-time diagnostic system. , 1975 .

[101]  King-Sun Fu,et al.  Structure-preserved error-correcting tree automata for syntactic pattern recognition , 1976, 1976 IEEE Conference on Decision and Control including the 15th Symposium on Adaptive Processes.

[102]  Ernst-Wolfgang Dieterich Parsing and Syntactic Error Recovery for Context-Free Grammars by Means of Coarse Structures , 1977, ICALP.

[103]  Helmut Richter Noncorrecting syntax error recovery , 1985, TOPL.

[104]  Melvin E. Conway,et al.  Design of a separable transition-diagram compiler , 1963, CACM.

[105]  Joachim Ciesinger Generating Error Recovery in a Compiler Generating System , 1976, Fachtagung über Programmiersprachen.

[106]  Jerzy S. Krol Simple Error Recovery Scheme for Optimized LR-Parsers , 1981 .

[107]  Robert B. K. Dewar,et al.  The IITRAN programming language , 1969, CACM.

[108]  Niklaus Wirth,et al.  The design of a pascal compiler , 1971, Softw. Pract. Exp..

[109]  Roland Carl Backhouse,et al.  Syntax of Programming Languages: Theory and Practice , 1979 .

[110]  G. E. Hedrick,et al.  User error analysis and automatic correction for compiling , 1970 .

[111]  R. C. Backhouse,et al.  Least-cost repair of syntax errors , 1979, SIGP.

[112]  Cornelis H. A. Koster,et al.  Error Reporting, Error Treatment, and Error Correction in Algol Translation - Part 1 , 1972, GI Jahrestagung.

[113]  Bernard Andre Dion Locally least-cost error correctors for context-free and context sensitive parsers , 1982 .

[114]  Theodore P. Baker,et al.  Extending Lookahead for LR Parsers , 1981, J. Comput. Syst. Sci..

[115]  Susan L. Graham,et al.  Practical syntactic error recovery in compilers , 1973, POPL.

[116]  Kuo-chung Tai Fault-tolerant string processing by pattern mapping , 1977, ACM '77.

[117]  Richard B. Kieburtz,et al.  Global context recovery: A new strategy for parser recovery from syntax errors , 1979, SIGPLAN '79.

[118]  Niklaus Wirth,et al.  Pascal-S: A Subset and its Implementation , 1981, Pascal - The Language and its Implementation.

[119]  Charles Wetherell,et al.  Why Automatic Error Correctors Fail , 1977, Comput. Lang..

[120]  Alfred V. Aho,et al.  The Theory of Parsing, Translation, and Compiling , 1972 .

[121]  Jan L. A. van de Snepscheut,et al.  SATHE: Some aspects of an ALGOL implementation , 1980, Softw. Pract. Exp..

[122]  Tomasz Krawczyk Error Correction by Mutational Grammars , 1980, Inf. Process. Lett..

[123]  Jerome A. Feldman,et al.  Translator writing systems , 1968, Commun. ACM.

[124]  Cyril N. Alberga,et al.  String similarity and misspellings , 1967, CACM.

[125]  Charles Stanley Wetherell Problems of error correction for programming languages. , 1975 .

[126]  Eljas Soisalon-Soininen,et al.  A Syntax-Error-Handling Technique and Its Experimental Analysis , 1983, TOPL.

[127]  Jean E. Musinski,et al.  Lookahead recall error recovery for LALR parsers , 1977, SIGP.

[128]  Charles N. Fischer,et al.  Efficient LL(1) error correction and recovery using only insertions , 1980, Acta Informatica.

[129]  Gordon Edward Lyon,et al.  A syntax-directed least-errors recognizer for context-free languages , 1972 .

[130]  Jacques E. LaFrance,et al.  Syntax-directed error recovery for compilers , 1971 .

[131]  Robert A. Wagner,et al.  An Extension of the String-to-String Correction Problem , 1975, JACM.

[132]  A. V. Moura,et al.  Early Error Detection in Syntax-Driven Parsers , 1986, IBM J. Res. Dev..

[133]  Kuo-Chung Tai Predictors of Context-Free Grammars , 1980, SIAM J. Comput..

[134]  Richard B. Kieburtz,et al.  Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers , 1980, TOPL.

[135]  Ajit Babani Pai Syntax driven error recovery in top-down parsing. , 1978 .

[136]  David Gries Use of transition matrices in compiling , 1968, CACM.

[137]  Thomas R. Wilcox,et al.  Design and implementation of a diagnostic compiler for PL/I , 1973, CACM.

[138]  P.I.P. Boulton The Generation Of Diagnostic Messages , 1975 .

[139]  W. B. Smith,et al.  Error Detection in Formal Languages , 1970, J. Comput. Syst. Sci..

[140]  Eljas Soisalon-Soininen,et al.  On Defining Error Recovery in Context-Free Parsing , 1977, ICALP.

[141]  Paul Shantraj Lazarus Automatic error correction in syntax-directed compilers. , 1973 .

[142]  James L. Peterson,et al.  Computer programs for detecting and correcting spelling errors , 1980, CACM.

[143]  David Gries Error Recovery and Correction - An Introduction to the Literature , 1976, Compiler Construction.

[144]  Michael G. Thomason Stochastic Syntax-Directed Translation Schemata for Correction of Errors in Context-Free Languages , 1975, IEEE Transactions on Computers.

[145]  Alfred V. Aho,et al.  Principles of Compiler Design (Addison-Wesley series in computer science and information processing) , 1977 .

[146]  Frank DeRemer,et al.  A forward move algorithm for LR error recovery , 1978, POPL '78.

[147]  Gordon B. Davis,et al.  A study of errors, error-proneness, and error diagnosis in Cobol , 1976, CACM.

[148]  Gordon V. Cormack An LR substring parser for noncorrecting syntax error recovery , 1989, PLDI '89.

[149]  Jon Mauney Least-cost syntactic error repair using extended right context , 1983 .

[150]  Edward Arthur Youngs,et al.  Error-proneness in programming , 1970 .

[151]  Eiichi Tanaka,et al.  Error-Correcting Parsers for Formal Languages , 1978, IEEE Transactions on Computers.

[152]  Chak-Kuen Wong,et al.  Bounds for the String Editing Problem , 1976, JACM.

[153]  King-Sun Fu,et al.  Stochastic Error-Correcting Syntax Analysis for Recognition of Noisy Patterns , 1977, IEEE Trans. Computers.

[154]  Henry R. Bauer,et al.  ALGOL W implementation , 1968 .

[155]  Kuo-Chung Tai,et al.  Syntactic Error Correction in Programming Languages , 1978, IEEE Trans. Software Eng..

[156]  Gary Lindstrom,et al.  The design of parsers for incremental language processors , 1970, STOC.

[157]  J. C. vanVliet,et al.  Repairing the parenthesis skeleton of algol 68 programs : (extended abstract) , 1973 .

[158]  C. Robert Zarnke,et al.  WATFOR—The University of Waterloo FORTRAN IV compiler , 1967, CACM.

[159]  Roland Carl Backhouse,et al.  Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery , 1984, TOPL.

[160]  G. David Ripley,et al.  A simple recovery-only procedure for simple precedence parsers , 1978, CACM.

[161]  Charles B. Haley,et al.  Practical LR error recovery , 1979, SIGPLAN '79.

[162]  Clive B. Johns The Generation of Error Recovering Simple Precedence Parsers , 1974 .

[163]  Charles N. Fischer,et al.  An efficient insertion-only error-corrector for LL(1) parsers , 1977, POPL.

[164]  Ray Teitelbaum Minimal distance analysis of syntax errors in computer programs. , 1976 .