Interprocedural Type Propagation for Object-Oriented Languages
Abstract elided by the publisher.
Related papers
- Fast Interprocedural Class Analysis POPL 1998
- Simple and Effective Analysis of Statically Typed Object-Oriented Programs OOPSLA 1996
- Associated types and constraint propagation for mainstream object-oriented generics OOPSLA 2005
- On Interprocedural Data Flow Analysis for Object Oriented Languages CC 1992
- Interprocedural Analysis with Lazy Propagation SAS 2010
- Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model CC 1994
- Flow-Sensitive Interprocedural Constant Propagation PLDI 1995
- Call Graph Construction in Object-Oriented Languages OOPSLA 1997