Reachability and Error Diagnosis in LR(1) Parsers - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Reachability and Error Diagnosis in LR(1) Parsers

Résumé

Given an LR(1) automaton, what are the states in which an error can be detected? For each such " error state " , what is a minimal input sentence that causes an error in this state? We propose an algorithm that answers these questions. This allows building a collection of pairs of an erroneous input sentence and a (handwritten) diagnostic message, ensuring that this collection covers every error state, and maintaining this property as the grammar evolves. We report on an application of this technique to the CompCert ISO C99 parser, and discuss its strengths and limitations.
Fichier principal
Vignette du fichier
fpottier-reachability-cc2016.pdf (422.85 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01417004 , version 1 (15-12-2016)

Identifiants

Citer

François Pottier. Reachability and Error Diagnosis in LR(1) Parsers. CC 2016 - 25th International Conference on Compiler Construction, Mar 2016, Barcelone, Spain. pp.11, ⟨10.1145/2892208.2892224⟩. ⟨hal-01417004⟩

Collections

INRIA INRIA2
107 Consultations
711 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More