Generalised Regular Parsers
Abstract elided by the publisher.
Related papers
- Generalised Recursive Descent parsing and Fellow-Determinism CC 1998
- A Bounded Graph-Connect Construction for LR-regular Parsers CC 2001
- The Construction of Stack-Controlling LR Parsers for Regular Right Part Grammars TOPLAS 1981
- Generalised Parsing: Some Costs CC 2004
- Static Inference of Regular Grammars for Ad Hoc Parsers OOPSLA 2025
- GLL parsing with flexible combinators SLE 2018
- Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus PLDI 2025
- The Decision Problem for Regular First Order Theories POPL 2025