LARA Example Ocamlyacc Grammar The Objective Caml programming language comes with ocamlyacc LALR(1) parser generator documented in language manual separate tutorial Here is a Java 1.2 parser written in OcamlYacc and used in Jahob Program Verification System: jahobparser.yy