Verified, Executable Parsing
No abstract available.
Related papers
- A verified packrat parser interpreter for parsing expression grammars CPP 2020
- Verifiable Parse Table Composition for Deterministic Parsing SLE 2009
- Directly-Executable Earley Parsing CC 2001
- CoStar: a verified ALL(*) parser PLDI 2021
- Zippy LL(1) parsing with derivatives PLDI 2020
- Execution vs. Parse-Based Language Servers: Tradeoffs and Opportunities for Language-Agnostic Tooling for Dynamic Languages DLS 2022
- Context-aware scanning for parsing extensible languages GPCE 2007
- A derivative-based parser generator for visibly Pushdown grammars OOPSLA 2021