Programming with Live Distributed Objects
Abstract elided by the publisher.
1,096 papers · page 31 of 55
Inference of Reference Immutability
Abstract elided by the publisher.
Ptolemy: A Language with Quantified, Typed Events
Abstract elided by the publisher.
On Validity of Program Transformations in the Java Memory Model
Abstract elided by the publisher.
MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments
Abstract elided by the publisher.
Kilim: Isolation-Typed Actors for Java
Abstract elided by the publisher.
How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software
Abstract elided by the publisher.
Online Phase-Adaptive Data Layout Selection
Abstract elided by the publisher.
Externalizing Java Server Concurrency with CAL
Abstract elided by the publisher.
A Uniform Transactional Execution Environment for Java
Abstract elided by the publisher.
Assuring Object-Oriented Architecture
Abstract elided by the publisher.
Erlang - Software for a Concurrent World
Abstract elided by the publisher.
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships
Abstract elided by the publisher.
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring
Abstract elided by the publisher.
Exception Handling: A Field Study in Java and .NET
Abstract elided by the publisher.
An Accidental Simula User
Abstract elided by the publisher.
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden
Abstract elided by the publisher.
MAO: Ownership and Effects for More Effective Reasoning About Aspects
Aspect-oriented advice increases the number of places one must consider during reasoning, since advice may affect all method calls and field accesses. MAO, a new variant of AspectJ, demonstrates how to simplify reasoning by allowing programmers, if they choose, to declare limits …
Joinpoint Inference from Behavioral Specification to Implementation
Abstract elided by the publisher.
Tracking Linear and Affine Resources with Java(X)
Abstract elided by the publisher.