Interprocedural Analysis with Lazy Propagation
Abstract elided by the publisher.
Related papers
- Interprocedural Type Specialization of JavaScript Programs Without Type Analysis ECOOP 2016
- Flow-Sensitive Interprocedural Constant Propagation PLDI 1995
- A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis TOPLAS 1997
- Interprocedural constant propagation PLDI 1986
- Fast Interprocedural Class Analysis POPL 1998
- Interprocedural Type Propagation for Object-Oriented Languages ESOP 1992
- Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model CC 1994
- Precise Interprocedural Dataflow Analysis via Graph Reachability POPL 1995