BibTeX
@TECHREPORT{Razafimahefa99astudy,
author = {Chrislain Razafimahefa},
title = {A Study Of Side-Effect Analyses For Java},
institution = {},
year = {1999}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In the context of an object-oriented programming language such as Java, the ubiquitous use of instance fields and the presence of pointers (references to objects) make it difficult to understand a program's memory usage. Understanding memory usage is a key element for optimizing programs and side-effect analysis, an analysis to estimate variables that are inspected or altered by a computation, is of prime importance for understanding and optimizing Java programs. In this thesis, we study the impact of a set of practical side-effect analyses on optimizing Java programs. The main contribution of the thesis is the design and implementation of two groups of analyses, namely type-based analysis and refers-to analysis. These analyses use different strategies to capture the effect of an instruction on variables present in the program. The former uses type information whereas the second models the program's storage shape graph. In both type-based analysis and refers-to analysis, two variation...
