Certified Parsing of Regular Languages
No abstract available.
DOI 10.1007/978-3-319-03545-1_7
Related papers
- Input-driven regular expressions (vision paper) SLE 2018
- Parsing with derivatives: a functional pearl ICFP 2011
- A Computational Interpretation of Context-Free Expressions APLAS 2017
- Static Inference of Regular Grammars for Ad Hoc Parsers OOPSLA 2025
- Faster general parsing through context-free memoization PLDI 2020
- A typed, algebraic approach to parsing PLDI 2019
- Oregano: staging regular expressions with Moore Cayley fusion Haskell 2022
- Certified Normalization of Context-Free Grammars CPP 2015