Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model
No abstract available.
Related papers
- Flow-Sensitive Interprocedural Constant Propagation PLDI 1995
- Demand-driven Computation of Interprocedural Data Flow POPL 1995
- Dependence Flow Graphs: An Algebraic Approach to Program Dependencies POPL 1991
- A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis TOPLAS 1997
- Interprocedural Constant Propagation: A Study of Jump Function Implementations PLDI 1993
- Efficient Computation of Interprocedural Definition-Use Chains TOPLAS 1994
- Constant Propagation with Conditional Branches POPL 1985
- Constant Propagation with Conditional Branches TOPLAS 1991