A Verified LL(1) Parser Generator
From MaRDI portal
Publication:5875434
DOI10.4230/LIPIcs.ITP.2019.24OpenAlexW2978834141MaRDI QIDQ5875434
Chris Casinghino, Sam Lasser, Cody Roux, Kathleen Fisher
Publication date: 3 February 2023
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2019/11079/pdf/LIPIcs-ITP-2019-24.pdf/
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A theory of type polymorphism in programming
- Mechanized semantics for the clight subset of the C language
- Validating LR(1) Parsers
- Parsing expression grammars
- Extraction in Coq: An Overview
- TRX: A Formally Verified Parser Interpreter
- Verified, Executable Parsing
- Program-ing finger trees in C <scp>oq</scp>