ECOOP
2012
Springer
12 years 12 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...
ECOOP
2012
Springer
12 years 12 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...
ECOOP
2012
Springer
12 years 12 months ago
2012
Springer
ECOOP
2012
Springer
12 years 12 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 ...
ECOOP
2012
Springer
12 years 12 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...
119
click to vote
ECOOP
2012
Springer
12 years 12 months ago
2012
Springer
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...
110
click to vote
ECOOP
2012
Springer
12 years 12 months ago
2012
Springer
Abstract. Transcript is a system that enhances JavaScript with support for transactions. Hosting Web applications can use transactions to demarcate regions that contain untrusted g...
ECOOP
2012
Springer
12 years 12 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...