Flow Grammars - a Flow Analysis Methodology
No abstract available.
Related papers
- Techniques for Improving Grammar Flow Analysis ESOP 1990
- Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis POPL 1989
- Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis ICFP 2016
- Applications of Graph Grammar for Program Control Flow Analysis POPL 1977
- Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis POPL 1997
- Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery TOPLAS 1984
- Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization TOPLAS 1997
- Qualified Data Flow Problems POPL 1980