A Generic Framework for Interprocedural Analysis of Numerical Properties
No abstract available.
Related papers
- Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth POPL 2015
- Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth TOPLAS 2019
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015
- Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting PLDI 1994
- Faster Algorithms for Weighted Recursive State Machines ESOP 2017
- Quantitative Interprocedural Analysis POPL 2015
- A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis TOPLAS 1997
- A framework for interprocedural optimization in the presence of dynamic class loading PLDI 2000