Section: Software
Menhir
Participants : François Pottier [correspondant] , Yann Régis-Gianas [U. Paris Diderot] .
Menhir is a new LR(1) parser generator for Objective Caml. Menhir improves on its predecessor, ocamlyacc , in many ways: more expressive language of grammars, including EBNF syntax and the ability to parameterize a non-terminal by other symbols; support for full LR(1) parsing, not just LALR(1); ability to explain conflicts in terms of the grammar.
Web site: http://gallium.inria.fr/~fpottier/menhir/ .