Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages
Author:
- 28 February 2003
- book chapter
- Published by Springer Nature
- p. 126-137
Abstract
No abstract availableKeywords
This publication has 38 references indexed in Scilit:
- Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis2000
- The Cartesian Product Algorithm2000
- Unification-based pointer analysis with directional assignments2000
- Escape analysis for object-oriented languages1999
- Escape analysis for Java1999
- Efficient and precise modeling of exceptions for the analysis of Java programs1999
- Efficient Points-to Analysis for Whole-Program Analysis1999
- Relevant context inference1999
- Fast static analysis of C++ virtual function calls1996
- Properties of data flow frameworksActa Informatica, 1990