Effect-Driven Flow Analysis
No abstract available.
Related papers
- Demand-on-Demand Control-Flow Analysis ICFP 2026
- A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis TOPLAS 1997
- A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis TOPLAS 2019
- Demand-driven Computation of Interprocedural Data Flow POPL 1995
- Context-Sensitive Demand-Driven Control-Flow Analysis ESOP 2025
- Higher-Order Demand-Driven Program Analysis ECOOP 2016
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java ECOOP 2016
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015