Can We Avoid High Coupling?
Abstract elided by the publisher.
1,096 papers · page 27 of 55
Worlds: Controlling the Scope of Side Effects
Abstract elided by the publisher.
Related Types
Abstract elided by the publisher.
Gradual Typestate
Abstract elided by the publisher.
The Beauty and the Beast: Separating Design from Algorithm
Abstract elided by the publisher.
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs
Abstract elided by the publisher.
Adding Dynamic Types to C#
Abstract elided by the publisher.
Modules as Objects in Newspeak
Abstract elided by the publisher.
Inline Caching Meets Quickening
Abstract elided by the publisher.
Debugging Model-Transformation Failures Using Dynamic Tainting
Abstract elided by the publisher.
Concurrent Abstract Predicates
Abstraction is key to understanding and reasoning about large computer systems. Abstraction is simple to achieve if the relevant data structures are disjoint, but rather difficult when they are partially shared, as is often the case for concurrent modules. We present a program lo…
Secret Valley
Abstract elided by the publisher.
Essential AOP: The A Calculus
Abstract elided by the publisher.
The Use of Overloading in Java Programs
Abstract elided by the publisher.
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. We explicate the desugaring process that turns JavaScript programs into ones in the core. We demonstr…
Capabilities for Uniqueness and Borrowing
An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects of aliasing, practical systems often severely restrict the shape of messages passed by reference. Moreover, th…
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study
Abstract elided by the publisher.
Programming Coordinated Behavior in Java
Abstract elided by the publisher.
Recency Types for Analyzing Scripting Languages
Abstract elided by the publisher.
Automatically Extracting Class Diagrams from Spreadsheets
Abstract elided by the publisher.