Sciweavers

ECOOP
2010
Springer
14 years 4 months ago
Capabilities for Uniqueness and Borrowing
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
Philipp Haller, Martin Odersky
ECOOP
2010
Springer
14 years 4 months ago
Type-Safe Eventful Sessions in Java
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, No...
ECOOP
2010
Springer
14 years 4 months ago
Detecting Missing Method Calls in Object-Oriented Software
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this paper, we provide a comprehensiv...
Martin Monperrus, Marcel Bruch, Mira Mezini
ECOOP
2010
Springer
14 years 4 months ago
Self-Replicating Objects for Multicore Platforms
The paper introduces Self-Replicating Objects (SROs), a new nt programming abstraction. An SRO is implemented and used much like an ordinary .NET object and can expose arbitrary us...
Krzysztof Ostrowski, Chuck Sakoda, Ken Birman
ECOOP
2010
Springer
14 years 4 months ago
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
Scott Owens
ECOOP
2010
Springer
14 years 4 months ago
Concurrent Abstract Predicates
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardne...
ECOOP
2010
Springer
14 years 4 months ago
Modules as Objects in Newspeak
Abstract. We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation — even an object’s own ...
Gilad Bracha, Peter von der Ahé, Vassili By...
ECOOP
2010
Springer
14 years 4 months ago
Falling Back on Executable Specifications
Hesam Samimi, Ei Darli Aung, Todd D. Millstein
ECOOP
2010
Springer
14 years 4 months ago
A Type System for Data-Centric Synchronization
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...
Mandana Vaziri, Frank Tip, Julian Dolby, Christian...
ECOOP
2010
Springer
14 years 4 months ago
The Essence of JavaScript
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi