189
click to vote
ECOOP
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Since call graphs are an essential starting point for all interprocedural analyses, many tools and frameworks have been developed to generate the call graph of a given pr...
188
click to vote
ECOOP
2012
Springer
13 years 9 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...
168
click to vote
ECOOP
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. The Jetpack framework is Mozilla’s newly-introduced extension development technology. Motivated primarily by the need to improve how scriptable extensions (also called ...
192
Voted
ECOOP
2012
Springer
13 years 9 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...