Verified, Executable Parsing

DOI10.1007/978-3-642-00590-9_12zbMath1234.68359OpenAlexW1509784638MaRDI QIDQ3617698

Michael Norrish, Aditi Barthwal

Publication date: 31 March 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-00590-9_12

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items (5)

Automatic generation and validation of instruction encoders and decoders ⋮ A mechanisation of some context-free language theory in HOL4 ⋮ Certified CYK parsing of context-free languages ⋮ A Verified LL(1) Parser Generator ⋮ Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars

This page was built for publication: Verified, Executable Parsing