Commit f91d51b5 authored by POTTIER Francois's avatar POTTIER Francois

Remove the large file english.bib.

parent 6ab3ca7b
This diff is collapsed.
@String{acta = "Acta Informatica"}
@String{aw = "Addison-Wesley"}
@String{cacm = "Communications of the {ACM}"}
@String{cc = "Compiler Construction (CC)"}
@String{cup = "Cambridge University Press"}
@String{entcs = "Electronic Notes in Theoretical Computer Science"}
@String{spe = "Software: Practice and Experience"}
@String{toplas = "ACM Transactions on Programming Languages and
Systems"}
@Misc{compcert-github,
author = "Xavier Leroy",
title = "The {CompCert C} verified compiler",
......@@ -6,8 +23,206 @@
}
@Misc{obelisk,
author = {L\'elio Brun},
title = {Obelisk},
author = {L\'elio Brun},
title = {Obelisk},
howpublished = {\url{https://github.com/Lelio-Brun/Obelisk}},
year = 2017
year = {2017},
}
@Book{aho-86,
author = "Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman",
title = "Compilers: Principles, Techniques, and Tools",
publisher = aw,
year = "1986",
}
@Book{appel-tiger-98,
author = "Andrew Appel",
title = "Modern Compiler Implementation in {ML}",
publisher = cup,
year = "1998",
URL = "http://www.cs.princeton.edu/~appel/modern/ml/",
}
@Article{bhamidipaty-proebsting-98,
author = "Achyutram Bhamidipaty and Todd A. Proebsting",
title = "Very Fast {YACC}-Compatible Parsers (For Very Little
Effort)",
journal = spe,
year = "1998",
volume = "28",
number = "2",
pages = "181--190",
URL = "http://www.cs.arizona.edu/people/todd/papers/TR95-09.ps",
}
@Article{dencker-84,
author = "Peter Dencker and Karl Dürre and Johannes Heuft",
title = "Optimization of parser tables for portable compilers",
journal = toplas,
volume = "6",
number = "4",
year = "1984",
pages = "546--572",
URL = "http://doi.acm.org/10.1145/1780.1802",
}
@Article{deremer-pennello-82,
author = "Frank DeRemer and Thomas Pennello",
title = "Efficient Computation of ${LALR}(1)$ Look-Ahead Sets",
journal = toplas,
volume = "4",
number = "4",
year = "1982",
pages = "615--649",
URL = "http://doi.acm.org/10.1145/69622.357187",
}
@Manual{bison,
title = "Bison",
author = "Charles Donnelly and Richard Stallman",
year = "2015",
URL = "http://www.gnu.org/software/bison/manual/",
}
@Book{hopcroft-motwani-ullman-00,
author = "John E. Hopcroft and Rajeev Motwani and Jeffrey D.
Ullman",
title = "Introduction to Automata Theory, Languages, and
Computation",
publisher = aw,
year = "2000",
URL = "http://www-db.stanford.edu/~ullman/ialc.html",
}
@Article{horspool-faster-90,
author = "R. Nigel Horspool and Michael Whitney",
title = "Even Faster {LR} Parsing",
journal = spe,
year = "1990",
volume = "20",
number = "6",
pages = "515--535",
URL = "http://www.cs.uvic.ca/~nigelh/Publications/fastparse.pdf",
}
@Article{jeffery-03,
author = "Clinton L. Jeffery",
title = "Generating {LR} syntax error messages from examples",
journal = toplas,
volume = "25",
number = "5",
year = "2003",
pages = "631--640",
URL = "http://doi.acm.org/10.1145/937563.937566",
}
@InCollection{johnson-yacc-79,
author = "Steven C. Johnson",
title = "{Yacc}: Yet Another Compiler Compiler",
booktitle = "{UNIX} Programmer's Manual",
volume = "2",
publisher = "Holt, Rinehart, and Winston",
pages = "353--387",
year = "1979",
URL = "http://dinosaur.compilertools.net/",
}
@InProceedings{jourdan-leroy-pottier-12,
author = "Jacques-Henri Jourdan and François Pottier and Xavier
Leroy",
title = "Validating ${LR}(1)$ Parsers",
year = "2012",
booktitle = esop,
publisher = springer,
series = lncs,
volume = "7211",
pages = "397--416",
URL = "http://gallium.inria.fr/~fpottier/publis/jourdan-leroy-pottier-validating-parsers.pdf",
}
@Article{klint-laemmel-verhoef-05,
author = "Paul Klint and Ralf L{\"a}mmel and Chris Verhoef",
title = "Toward an engineering discipline for grammarware",
journal = tosem,
volume = "14",
number = "3",
year = "2005",
pages = "331--380",
URL = "http://www.few.vu.nl/~x/gw/gw.pdf",
}
@Article{knuth-lr-65,
author = "Donald E. Knuth",
title = "On the translation of languages from left to right",
journal = "Information \& Control",
year = "1965",
volume = "8",
number = "6",
pages = "607--639",
URL = "http://www.sciencedirect.com/science/article/pii/S0019995865904262",
}
@Misc{compcert,
author = "Xavier Leroy",
title = "The {CompCert C} compiler",
year = "2015",
howpublished = "\url{http://compcert.inria.fr/}",
}
@Misc{ocaml,
author = "Xavier Leroy and Damien Doligez and Alain Frisch and
Jacques Garrigue and Didier Rémy and Jérôme
Vouillon",
title = "The {OCaml} system: documentation and user's manual",
year = "2016",
URL = "http://caml.inria.fr/",
}
@Article{pager-77,
author = "David Pager",
title = "A Practical General Method for Constructing ${LR}(k)$
Parsers",
journal = acta,
year = "1977",
volume = "7",
pages = "249--268",
URL = "http://dx.doi.org/10.1007/BF00290336",
}
@InProceedings{pottier-reachability-cc-2016,
author = "François Pottier",
title = "Reachability and error diagnosis in {LR}(1) parsers",
booktitle = cc,
year = "2016",
pages = "88--98",
URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-reachability-cc2016.pdf",
}
@Article{pottier-regis-gianas-typed-lr,
author = "François Pottier and Yann {Régis-Gianas}",
title = "Towards efficient, typed {LR} parsers",
URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-regis-gianas-typed-lr.pdf",
year = "2006",
pages = "155--180",
journal = entcs,
volume = "148",
number = "2",
}
@Manual{tarditi-appel-00,
title = "{ML-Yacc} User's Manual",
author = "David R. Tarditi and Andrew W. Appel",
year = "2000",
URL = "http://www.smlnj.org/doc/ML-Yacc/",
}
@Article{tarjan-yao-79,
author = "Robert Endre Tarjan and Andrew Chi-Chih Yao",
title = "Storing a sparse table",
journal = cacm,
volume = "22",
number = "11",
year = "1979",
pages = "606--611",
URL = "http://doi.acm.org/10.1145/359168.359175",
}
......@@ -43,10 +43,10 @@
\menhir is a parser generator. It turns high-level grammar specifications,
decorated with semantic actions expressed in the \ocaml programming
language~\cite{objective-caml}, into parsers, again expressed in \ocaml. It is
language~\cite{ocaml}, into parsers, again expressed in \ocaml. It is
based on Knuth's LR(1) parser construction technique~\cite{knuth-lr-65}. It is
strongly inspired by its precursors: \yacc~\cite{johnson-yacc-79},
\texttt{ML-Yacc}~\cite{tarditi-appel-00}, and \ocamlyacc~\cite{objective-caml},
\texttt{ML-Yacc}~\cite{tarditi-appel-00}, and \ocamlyacc~\cite{ocaml},
but offers a large number of minor and major improvements that make it a more
modern tool.
......@@ -3989,7 +3989,7 @@ Gabriel Scherer provided motivation for investigating Jeffery's technique.
% Bibliography.
\bibliographystyle{plain}
\bibliography{english,local}
\bibliography{local}
\end{document}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment