On Interprocedural Data Flow Analysis for Object Oriented Languages
No abstract available.
Related papers
- Simple and Effective Analysis of Statically Typed Object-Oriented Programs OOPSLA 1996
- A logic for information flow in object-oriented programs POPL 2006
- An Evaluation of Automatic Object Inline Allocation Techniques OOPSLA 1998
- Transformation of Data Flow Analysis Models to Object-Oriented Design OOPSLA 1988
- Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers CC 2006
- Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth VMCAI 2023
- Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects POPL 1993
- Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method CC 2008