9 search results - page 1 / 2 » Interprocedural compatibility analysis for static object pre... |
191
Voted
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...
130
Voted
CC
2012
Springer
13 years 8 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
117
click to vote
ACSC
2005
IEEE
15 years 6 months ago
2005
IEEE
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...
135
Voted
PLDI
2000
ACM
15 years 5 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
128
Voted
ECOOP
2012
Springer
13 years 3 months ago
2012
Springer
As a culture, object-orientation encourages programmers to create objects, both short- and long-lived, without concern for cost. Excessive object creation and initialization can ca...