Mutual Refinements of Context-Free Language Reachability
Abstract elided by the publisher.
Related papers
- Towards a Scalable Framework for Context-Free Language Reachability CC 2015
- Specification Inference Using Context-Free Language Reachability POPL 2015
- Context-Free-Language Reachability for Almost-Commuting Transition Systems POPL 2026
- Context-Free Language Reachability via Efficient Relation Chaining OOPSLA 2026
- Program Analysis via Multiple Context Free Language Reachability POPL 2025
- Context-sensitive data-dependence analysis via linear conjunctive language reachability POPL 2017
- Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability OOPSLA 2024
- A Computational Interpretation of Context-Free Expressions APLAS 2017