Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!sdd.hp.com!decwrl!world!iecc!compilers-sender
From: snyder@CHILDE.CS.NYU.EDU (Kirk Snyder)
Newsgroups: comp.compilers
Subject: Parser error detection and recovery
Keywords: parse, LR(1), errors
Message-ID: <9103222026.AA02668@CHILDE.CS.NYU.EDU>
Date: 22 Mar 91 20:26:54 GMT
Sender: compilers-sender@iecc.cambridge.ma.us
Reply-To: snyder@CHILDE.CS.NYU.EDU (Kirk Snyder)
Organization: Compilers Central
Lines: 24
Approved: compilers@iecc.cambridge.ma.us

This is a response to the request by Vincent George for information on
error recovery in LR parser generators.
                                          
A reasonable place to start in looking for information about error
recovery is `A Practical Method for Constructing Efficient LALR(k) Parsers
with Automatic Error Recovery', by Phillippe Charles.  This is his Ph.D.
thesis at NYU.  Phillippe just defended a couple of weeks ago, so it might
be tough to get his thesis right away.  I know he submitted it to the
recording office, but I don't know how long it takes to get from there to
University Microfilms.

Phillippe's work includes recognizing errors at the earliest possible
point even if default rules are used, and automatic recognition of scopes
without adding error productions to the grammar.  Phillippe's method has
been implemented, but at the moment the implementation is IBM proprietary.
I've begun working on a non-proprietary version, but it's not a high
priority project for me.  If you'd like me to let you know when it's
finished send me email.

-- Kirk Snyder
   snyder@cs.nyu.edu
-- 
Send compilers articles to compilers@iecc.cambridge.ma.us or
{ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.