文章基本信息

标题：Don't Panic! Better, Fewer, Syntax Errors for LR Parsers
本地全文：下载
作者：Lukas Diekmann ; Laurence Tratt
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2020
卷号：166
页码：1-32
DOI：10.4230/LIPIcs.ECOOP.2020.6
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Syntax errors are generally easy to fix for humans, but not for parsers in general nor LR parsers in particular. Traditional "panic mode" error recovery, though easy to implement and applicable to any grammar, often leads to a cascading chain of errors that drown out the original. More advanced error recovery techniques suffer less from this problem but have seen little practical use because their typical performance was seen as poor, their worst case unbounded, and the repairs they reported arbitrary. In this paper we introduce the CPCT algorithm, and an implementation of that algorithm, that address these issues. First, CPCT reports the complete set of minimum cost repair sequences for a given location, allowing programmers to select the one that best fits their intention. Second, on a corpus of 200,000 real-world syntactically invalid Java programs, CPCT is able to repair 98.37%Â±0.017% of files within a timeout of 0.5s. Finally, CPCT uses the complete set of minimum cost repair sequences to reduce the cascading error problem, where incorrect error recovery causes further spurious syntax errors to be identified. Across the test corpus, CPCT reports 435,812Â±473 error locations to the user, reducing the cascading error problem substantially relative to the 981,628Â±0 error locations reported by panic mode.
关键词：Parsing; error recovery; programming languages