Validating LR(1) Parsers

DOI10.1007/978-3-642-28869-2_20zbMath1352.68131OpenAlexW1572478860MaRDI QIDQ2892741

François Pottier, Xavier Leroy, Jacques-Henri Jourdan

Publication date: 22 June 2012

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28869-2_20

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of compilers and interpreters (68N20)

Related Items (6)

Automatic generation and validation of instruction encoders and decoders ⋮ Certified CYK parsing of context-free languages ⋮ A Verified LL(1) Parser Generator ⋮ A self-certifying compilation framework for WebAssembly ⋮ Bidirectional grammars for machine-code decoding and encoding ⋮ On the Formalization of Some Results of Context-Free Language Theory

Uses Software

• Coq
• Menhir

This page was built for publication: Validating LR(1) Parsers