A New Method for Dependent Parsing
Abstract elided by the publisher.
Related papers
- A Practical Method for Syntactic Error Diagnosis and Recovery PLDI 1982
- Iguana: a practical data-dependent parsing framework CC 2016
- Semantics and algorithms for data-dependent grammars POPL 2010
- P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4 GPCE 2025
- Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus PLDI 2025
- Deterministic Parsing of Ambiguous Grammars POPL 1973
- Faster Generalized LR Parsing CC 1999
- Higher-Order Functions for Parsing JFP 1992