V. Alfred, J. D. Aho, and . Ullman, A technique for speeding up LR(k) parsers, SIAM Journal on Computing, vol.2, issue.2, pp.106-127, 1973.

A. Bouajjani, J. Esparza, and O. Maler, Reachability analysis of pushdown automata: Application to model-checking, International Conference on Concurrency Theory (CONCUR), volume 1243 of Lecture Notes in Computer Science, pp.135-150, 1997.
DOI : 10.1007/3-540-63141-0_10

J. Grosch, Efficient and comfortable error recovery in recursive descent parsers, Structured Programming, pp.129-140, 1990.

D. Grune and C. J. Jacobs, Parsing techniques: a practical guide, second edition. Monographs in computer science, 2008.
DOI : 10.1007/978-0-387-68954-8

K. Gupta and V. K. Nandivada, Lexical state analyzer for JavaCC grammars. Software: Practice and Experience, 2015.
DOI : 10.1002/spe.2322

J. J. Horning, What the Compiler Should Tell the User, Compiler Construction (CC), pp.525-548, 1974.
DOI : 10.1145/321439.321442

C. L. Jeffery, Merr User's Guide, 2002.

C. L. Jeffery, Generating LR syntax error messages from examples, ACM Transactions on Programming Languages and Systems, vol.25, issue.5, pp.631-640, 2003.
DOI : 10.1145/937563.937566

J. Jourdan, F. Pottier, and X. Leroy, Validating LR(1) Parsers, European Symposium on Programming (ESOP), pp.397-416, 2012.
DOI : 10.1007/978-3-642-28869-2_20
URL : https://hal.archives-ouvertes.fr/hal-01077321

E. Kantorowitz and H. Laor, Automatic generation of useful syntax error messages. Software: Practice and Experience, pp.627-640, 1986.
DOI : 10.1002/spe.4380160703

X. Leroy, The CompCert C compiler, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01091802

T. Parr, The Definitive ANTLR 4 Reference, 2013.

F. Pottier and Y. Régis-gianas, The Menhir parser generator

P. Purdom, The size of LALR (1) parsers, BIT, vol.9, issue.3, pp.326-337, 1974.
DOI : 10.1007/BF01933232

E. Soisalon-soininen, Inessential Error Entries and Their Use in LR Parser Optimization, ACM Transactions on Programming Languages and Systems, vol.4, issue.2, pp.179-195, 1982.
DOI : 10.1145/357162.357165

R. W. Topor, A note on error recovery in recursive descent parsers, ACM SIGPLAN Notices, vol.17, issue.2, pp.37-40, 1982.
DOI : 10.1145/947902.947905

N. Wirth, Algorithms + Data Structures = Programs, 1978.