Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars
From MaRDI portal
Publication:3100206
DOI10.1007/978-3-642-25379-9_10zbMath1350.68164OpenAlexW158755604MaRDI QIDQ3100206
Publication date: 22 November 2011
Published in: Certified Programs and Proofs (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-25379-9_10
Related Items
Automatic generation and validation of instruction encoders and decoders, A mechanisation of some context-free language theory in HOL4, Unnamed Item, Certified CYK parsing of context-free languages, On the Formalization of Some Results of Context-Free Language Theory, Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars
Uses Software
Cites Work
- Unnamed Item
- Packrat parsing:
- Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars
- TRX: A Formally Verified Parser Interpreter
- Verified, Executable Parsing
- Higher-order functions for parsing
- Total parser combinators
- The predictive analyzer and a path elimination technique
- An efficient context-free parsing algorithm
