Abstract Interpretation of Indexed Grammars
No abstract available.
Related papers
- A verified packrat parser interpreter for parsing expression grammars CPP 2020
- Translating grammars to accurate metamodels SLE 2018
- Static Inference of Regular Grammars for Ad Hoc Parsers OOPSLA 2025
- Reference attribute grammar controlled graph rewriting: motivation and overview SLE 2015
- Bytecode Compression via Profiled Grammar Rewriting PLDI 2001
- Stitch: the sound type-indexed type checker (functional pearl) Haskell 2020
- Decompilation: The Enumeration of Types and Grammars TOPLAS 1994
- Reflection in attribute grammars GPCE 2019