Simple, Functional, Sound and Complete Parsing for All Context-Free Grammars
No abstract available.
DOI 10.1007/978-3-642-25379-9_10
Related papers
- Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle SLE 2014
- Functional chart parsing of context-free grammars JFP 2004
- Certified Normalization of Context-Free Grammars CPP 2015
- Faster general parsing through context-free memoization PLDI 2020
- CoStar: a verified ALL(*) parser PLDI 2021
- Continuous Grammars POPL 1999
- Derivative grammars: a symbolic approach to parsing with derivatives OOPSLA 2019
- Parsing with derivatives: a functional pearl ICFP 2011