Solving Demand Versions of Interprocedural Analysis Problems
No abstract available.
Related papers
- Interprocedural analysis of asynchronous programs POPL 2007
- A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis TOPLAS 1997
- Demand-driven Computation of Interprocedural Data Flow POPL 1995
- Interprocedural Side-Effect Analysis in Linear Time PLDI 1988
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015
- Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth TOPLAS 2019
- Precise Interprocedural Dataflow Analysis via Graph Reachability POPL 1995
- Quantitative Interprocedural Analysis POPL 2015