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

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

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

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