Sciweavers

112
Voted
ECOOP
2012
Springer
13 years 2 months ago
Application-Only Call Graph Construction
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...
Karim Ali, Ondrej Lhoták
122
Voted
ECOOP
2012
Springer
13 years 2 months ago
Static Detection of Loop-Invariant Data Structures
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...
Guoqing (Harry) Xu, Dacong Yan, Atanas Rountev
97
Voted
ECOOP
2012
Springer
13 years 2 months ago
Extensibility for the Masses - Practical Extensibility with Object Algebras
Bruno C. d. S. Oliveira, William R. Cook
100
Voted
ECOOP
2012
Springer
13 years 2 months ago
An Analysis of the Mozilla Jetpack Extension Framework
Abstract. The Jetpack framework is Mozilla’s newly-introduced extension development technology. Motivated primarily by the need to improve how scriptable extensions (also called ...
Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chun...
114
Voted
ECOOP
2012
Springer
13 years 2 months ago
Inference and Checking of Object Ownership
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...
Wei Huang, Werner Dietl, Ana Milanova, Michael D. ...
146
Voted
ECOOP
2012
Springer
13 years 2 months ago
Evaluating the Design of the R Language - Objects and Functions for Data Analysis
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...
Floréal Morandat, Brandon Hill, Leo Osvald,...
141
Voted
ECOOP
2012
Springer
13 years 2 months ago
Enhancing JavaScript with Transactions
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...
Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy
ECOOP
2012
Springer
13 years 2 months ago
Object Initialization in X10
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
Yoav Zibin, David Cunningham, Igor Peshansky, Vija...