Generation of Efficient Interprocedural Analyzers with PAG
No abstract available.
DOI 10.1007/3-540-60360-3_31
Related papers
- Automatic Generation and Management of Interprocedural Program Analyses POPL 1993
- Interprocedural analysis of asynchronous programs POPL 2007
- Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method CC 2008
- Parallelizing top-down interprocedural analyses PLDI 2012
- A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis TOPLAS 1997
- Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs POPL 2000
- A framework for interprocedural optimization in the presence of dynamic class loading PLDI 2000
- Experience with Efficient Array Data-Flow Analysis for Array Privatization PPoPP 1997