Summary: References to syntax error-handling

I wrote:


      I'm writing my master thesis about error-detection, error-recovery
      and error-repair. Does anyone have any references
      ( books, Acta, ACM, SIGPLAN etc. ) to new material on these subjects.
      I've already looked in "frequently asked question" and I found some
      useful material, but no recent stuff.


I suppose this isn't the first bibliograhphy on the subject, but here
is the summary of answers. First references which are not in bib-format:


>I have a paper in Sigplan '89 (PLDI) on "an LR parser for nocorrecting
>syntax error recovery". Rekkers has done a PhD thesis, partly on that.
>There were 2 POPL papers (91 I believe) on substring parsers. The current
>issue of TOPLAS has the final version of one of those papers.
>
>--
>Gordon V. Cormack CS Dept, University of Waterloo, Canada N2L 3G1
>gvcormac@plg.uwaterloo.ca




>Josef Grosch:
>"Efficient and Comfortable Error Recovery in Recursive Descent Parsers"
>Structured Programming (1990) 11: 129-140.




>ftp://ftp.ira.uka.de/pub/bibliography/index.html


The bib-file:


@string{acta = "Acta Informatica"}
@string{cacm = "Communications of the ACM"}
@string{acm:cs = "ACM Computing Surveys"}
@string{spe = "Software -- Practice and Experience"}
@string{ieee:tose = "IEEE Transactions on Software Engineering"}
@string{jocl = "Journal of Computer Languages"}
@string{acm:sigplan = "SIGPLAN Notices"}
@string{acm:toplas = "ACM Transactions on Programming Languages and Systems"}


@book{LeBl,
      author = {Fischer,Charles N. and LeBlanc, Jr.,Richard},
      title = {Crafting a compiler with C},
      year = {1991},
      publisher = {Benjamin Cummings}
}




@article{acta:13-80,
      author = {Rohrich, Johannes},
      title = {Methods for the automatic construction of error correcting
              parsers},
      journal = {Acta Informatica},
      year = {1980},
      volume = {15},
      pages = {115-139}
}




@book{aho,
      author = {Sethi,Ravi and Ullman,Jeffrey D. and Aho,Alfred V.},
      title = {Compilers. Principles, techniques, and tools},
      year = {1986},
      publisher = {Addison-Wesley}
}




@book{axel,
      author = {Schreiner,Axel T. and Friedman, Jr.,H. George},
      title = {Intoduction to compiler construction with unix},
      year = {1985},
      publisher = {Prentice-Hall}
}




@article{cacm:18-75,
      author = {Graham,Susan L. and Rhodes,Steven P.},
      title = {Practical syntactic error recovery},
      journal = {CACM},
      year = {1975},
      volume = {18},
      number = {11},
      pages = {639-649}
}




@article{cacm:21-78,
      author = {Mickunas,M. Dennis and Modry John A.},
      title = {Automatic error recovery for LR parsers},
      journal = {CACM},
      year = {1978},
      volume = {21},
      number = {6},
      pages = {459-465}
}




@article{cj:26-83,
      author = {Anderson,S. O. and Backhouse,R. C. and
              Bugge, E. H. and Stirling,C. P.},
      title = {An assessment of locally least-cost error recovery},
      journal = {Computer Journal},
      year = {1983},
      volume = {26},
      pages = {15-24}
}




@article{cl:5-80,
      author = {Fischer,Charles N. and Mauney,Jon},
      title = {On the role of error productions in syntactic error correction},
      journal = {Computer Languages},
      year = {1980},
      volume = {5},
      pages = {131-139}
}




@article{cl:9-84,
      author = {Hammond, K. and Rayward-Smith,V. J.},
      title = {A survey on syntactic error recovery an repair},
      journal = {Computer Languages},
      year = {1984},
      volume = {9},
      pages = {51-67}
}




@unpublished{dain94,
      author = {Dain,J. A.},
      title = {A practical minimum distance method for syntax error hanling},
      year = {1994},
      note = {Department of Computer Science,
              University of Warwick}
}




@article{sci:9-87,
      author = {Boullier,Pierre and Jourdan, Martin},
      title = {A new error repair and recovery scheme for lexical and
              syntactic analysis},
      journal = {Science of computer programming},
      year = {1987},
      volume = {9},
      pages = {271-286}
}




@article{sig:14-79,
      author = {Graham,Susan L. and Haley,Charles B. and Joy,William N.},
      title = {Practical LR error recovery},
      journal = {SIGPLAN},
      year = {1979},
      volume = {14},
      number = {2},
      pages = {168-175}
}




@article{sig:17-82,
      author = {Burke,Michael and Fischer, Jr.,Gerald A.},
      title = {A practical method for syntactic error diagnosis and recovery},
      journal = {SIGPLAN},
      year = {1982},
      volume = {17},
      number = {1},
      pages = {67-78}
}




@article{sig:17-82a,
      author = {Fischer,Charles N. and Mauney, Jon},
      title = {A forward move algorithm for LL and LR parsers},
      journal = {SIGPLAN},
      year = {1982},
      month = {June},
      volume = {17},
      number = {6},
      pages = {79-87}
}




@article{spe:16-86,
      author = {Kantorowitz, E. and Laor,H.},
      title = {Automatic generation of useful syntax error messages},
      journal = {Software-Practice and experience},
      year = {1986},
      month = {july},
      volume = {16},
      number = {7},
      pages = {627-640}
}




@article{toplas:10-88,
      author = {Fischer,Charles N. and Mauney, Jon},
      title = {Determing the extent of lookahead in syntactic error repair},
      journal = {toplas:},
      year = {1988},
      volume = {10},
      number = {1},
      pages = {456-469}
}




@article{toplas:2-80,
      author = {Pai,Ajit B. and Kieburtz,Richard B.},
      title = {Global context recovery: A new strategy for syntactic error
              recovery by table-driven parsers},
      journal = {TOPLAS},
      year = {1980},
      volume = {2},
      number = {1},
      pages = {18-41}
}




@article{toplas:5-83,
      author = {Sippu,Seppu and Soisalon-Soininen,Eljas},
      title = {A syntax-error-handling technique and its experimental
              analysis},
      journal = {TOPLAS},
      year = {1983},
      month = {October},
      volume = {5},
      number = {4},
      pages = {657-679}
}




@article{toplas:7-85,
      author = {Richter,Helmut},
      title = {Noncorrecting syntax error recovery},
      journal = {TOPLAS},
      year = {1985},
      month = {july},
      volume = {7},
      number = {3},
      pages = {478-489}
}




@article{toplas:9-87,
      author = {Burke,Michael G. and Fischer,Gerald A.},
      title = {A practical method for LR and LL syntactic error diagnosis
              and recovery},
      journal = {TOPLAS},
      year = {1987},
      month = {January},
      volume = {9},
      number = {1},
      pages = {164-197}
}




@article{JR82,
    key = "JR82",
    title = "Semantic Errors - Diagnosis and Repair",
    author = "C.W. Johnson and C. Runciman",
    journal = "SIGPLAN Notices",
    volume = 17,
    number = 6,
    year = 1982
}




@incollection{Hor76,
    key = "Hor76",
    title = "What the compiler should tell the user",
    author = "J.J. Horning",
    booktitle = "Compiler Construction, an advanced course",
    publisher = "Springer-Verlag",
    year = 1976,
    editor = "F.L. Bauer and J. Eickel",
    pages = "525-548",
    edition = "second"
}


@incollection{LN86,
    key = "LN86",
    title = "Designing for Error",
    author = "C. Lewis and D.A. Norman",
    booktitle = "User centered cystem desig:n, new perspectives on
                                        human-computer interaction",
    editor = "D.A. Norman and S.W. Draper",
    publisher = "Lawrence Erlbaum Associates",
    year = 1986,
    pages = "413-432"
}




@article{Bro82,
    key = "Bro82",
    title = "`{M}y System Gives Excellent Error Messages' - Or Does It?",
    author = "P.J. Brown",
    journal = "Software - Practice and Experience",
    volume = 12,
    pages = "91-94",
    year = 1982
}


# Mainly chapter 8, "Stage 4: Error Processing"
@book{Pys80,
    key = "Pys80",
    author = "A.B. Pyster",
    title = "Compiler Design and Construction",
    year = 1980,
    publisher = "Van Nostrand Reinhold"
}


@article
{ Irons:cacm:1963
, author= "E. T. Irons"
, title= "An error-correcting parse algorithm"
, journal= cacm
, volume= 6
, number= 11
, pages= "669--673"
, month= nov
, year= 1963
}




@article
{ James:Partridge:cacm:1973
, author= "E. G. James and D. P. Partridge"
, title= "Adaptive correction of program statements"
, journal= cacm
, volume= 16
, number= 1
, pages= "27--37"
, month= jan
, year= 1973
}




@article
{ Aho:Peterson:sicomp:1972
, author= "Alfred V. Aho and Thomas G. Peterson"
, title= "A minimum distance error correcting parser for
context-free languages"
, journal= sicomp
, volume= 1
, number= 4
, pages= "305--312"
, year= 1972
}




@article
{ Lyon:cacm:1974
, author= "G. Lyon"
, title= "Syntax-Directed Least-Errors Analysis for Context Free
Languages: A Practical Approach"
, journal= cacm
, volume= 17
, number= 1
, pages= "3--14"
, month= jan
, year= 1974
}




@article
{ Aho:Johnson:acm:cs:1974
, author= "A. V. Aho and S. C. Johnson"
, title= "LR Parsing"
, journal= acm:cs
, pages= "99--124"
, month= jun
, year= 1974
}




@inbook
{ Gries:cc:1974
, author= "David Gries"
, title= "ERROR RECOVERY AND CORRECTION -- An Introduction to the Literature"
, crossref= "cc:1974"
, checked= 19940312
, pages= "627--638"
}




@book
{ cc:1974
, editor= "F. L. Bauer and J. Eickel"
, title= "Compiler Construction -- An Advanced Course"
, publisher= "Springer Verlag"
, year= 1974
}




@article
{ Levy:acta:1975
, author= "J. P. Levy"
, title= "Automatic correction of syntax errors in programming languages"
, journal= acta
, volume= 4
, pages= "271--292"
, year= 1975
}




@article
{ Feyock:spe:1976
, author= "S. Feyock and P. Lazurus"
, title= "Syntax-directed Correction of Syntax Errors"
, journal= spe
, volume= 6
, year= 1976
}




@article
{ Lewi:Vlaminck:Huens:Huybrechts:acta:1978
, author= "J. Lewi and K. De Vlaminck and J. Huens and M. Huybrechts"
, title= "The ELL(1) Parser Generator and the Error Recovery Mechanism"
, journal= acta
, volume= 10
, number= 9
, pages= "209--228"
, year= 1978
}




@article
{ Tai:ieee:tose:1978
, author= "Kuo Chung Tai"
, title= "Syntactic error correction in programming languages"
, journal= ieee:tose
, volume= 4
, number= 5
, pages= "414--425"
, year= 1978
}




@article
{ Ripley:Druseikis:jocl:1978
, author= "G. D. Ripley and F. C. Druseikis"
, title= "A Statistical Analysis of Syntax Errors"
, journal= jocl
, year= 1978
, volume= 3
, reffrom= Burke:Fisher:acm:cc:1982
, reffrom= Mauney:Fischer:acm:cc:1982
, reffrom= Seyfer:acm:cc:1982
}




@article
{ Ciesinger:acm:sigplan:1979
, author= "J. Ciesinger"
, title= "A Bibliography of Error Handling"
, journal= acm:sigplan
, volume= 14
, number= 1
, year= 1979
, month= jan
, pages= "16--26"
, keywords= "error handling"
, reffrom= Johnson:Runciman:acm:cc:1982
}




@article
{ Pemberton:spe:1980
, author= "S. Pemberton"
, title= "Comment on an Error-recovery Scheme by Hartmann"
, journal= spe
, volume= 10
, pages= "231--240"
, month= jan
, year= 1980
, reffrom= Balanescu:Gavrila:Gheorge:Nicolescu:Sofonea:acm:sigplan:1986
}




@article
{ Pai:Kieburtz:acm:toplas:1980
, author= "Ajit B. Pai and Richard B. Kieburtz"
, title= "Global Context Recovery: A New Strategy for Parser
Recovery From Syntax Errors"
, journal= acm:toplas
, volume= 2
, number= 1
, pages= "18--41"
, month= jan
, year= 1980
, reffrom= Mauney:Fischer:acm:cc:1982
}




@article
{ Fischer:Milton:Quiring:acta:1980
, author= "Charles N. Fischer and Donn R. Milton and Sam B. Quiring"
, title= "Efficient LL(1) error correction and recovery using only insertions"
, journal= acta
, volume= 13
, number= 2
, pages= "141--154"
, year= 1980
, keywords= "error correction, LL"
, reffrom= Mauney:Fischer:acm:cc:1982
}




@article
{ Anderson:Backhouse:acm:toplas:1981
, author= "S. O. Anderson and Roland C. Backhouse"
, title= "Locally least-cost error recovery in Early's algorithm"
, journal= acm:toplas
, volume= 3
, number= 3
, pages= "318--347"
, month= jul
, year= 1981
, reffrom= Mauney:Fischer:acm:cc:1982
}




@proceedings
{ acm:cc:1982
, title= "Proceedings of the SIGPLAN '82 Symposium on Compiler
Construction"
, booktitle= "Proceedings of the SIGPLAN '82 Symposium on Compiler
Construction"
, organization= "ACM"
, publisher= "ACM"
, source= "Dept. library"
, year= 1982
, note= "Available as SIGPLAN Notices 17(6) June 1982."
, sjb= "Note that the papers were not formally refereed."
}




@article
{ Balanescu:Gavrila:Gheorge:Nicolescu:Sofonea:acm:sigplan:1986
, author= "Tudor Balanescu and Serban Gavrila and Marian Gheorghe
and Radu Nicolescu and Liviu Sofonea"
, title= "On Hartmann's Error-Recovery Scheme"
, journal= acm:sigplan
, volume= 21
, number= 12
, pages= "80--86"
, month= dec
, year= 1986
, refs= 10
, checked= 19940617
, source= "Dept. Library"
, keywords= "recursive-descent, parsing, error-recovery"
, abstract= "A. C. Hartmann has described a systematic method for
producing recursive-descent parsers with built-in error-recovery. S.
Pemberton has proposed some improvements on it, including the
avoidance of duplicate error messages. However, as we point out,
there are still some cases left when such duplication may occur. We
suggest further improvements for removing these cases."
}
--

Return to the comp.compilers page.
Search the comp.compilers archives again.