TRX: A Formally Verified Parser Interpreter
No abstract available.
Related papers
- A verified packrat parser interpreter for parsing expression grammars CPP 2020
- Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus PLDI 2025
- A Simple, Possibly Correct LR Parser for C11 TOPLAS 2017
- Static Inference of Regular Grammars for Ad Hoc Parsers OOPSLA 2025
- Pattern-Based Design and Implementation of an XML and RDF Parser and Interpreter: A Case Study ECOOP 2002
- A derivative-based parser generator for visibly Pushdown grammars OOPSLA 2021
- A Derivative-based Parser Generator for Visibly Pushdown Grammars TOPLAS 2023
- Stitch: the sound type-indexed type checker (functional pearl) Haskell 2020