Validating LR(1) Parsers

@inproceedings{Jourdan-al:ESOP12,
  author    = {Jacques{-}Henri Jourdan and
               Fran{\c{c}}ois Pottier and
               Xavier Leroy},
  title     = {Validating {LR(1)} Parsers},
  booktitle = {ESOP},
  pages     = {397--416},
  series    = {LNCS},
  volume    = {7211},
  publisher = {Springer},
  year      = {2012},
  doi       = {10.1007/978-3-642-28869-2\_20},
}