A Type System for Reachability and Acyclicity
Abstract elided by the publisher.
1,096 papers · page 35 of 55
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming
Abstract elided by the publisher.
The Emergent Structure of Development Tasks
Abstract elided by the publisher.
Expressive Pointcuts for Increased Modularity
Abstract elided by the publisher.
Eclat: Automatic Generation and Classification of Test Inputs
This paper describes a technique that selects, from a large set of test inputs, a small subset likely to reveal faults in the software under test. The technique takes a program or software component, plus a set of correct executions — say, from observations of the software runnin…
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection
Abstract elided by the publisher.
Extending JML for Modular Specification and Verification of Multi-threaded Programs
Abstract elided by the publisher.
Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model
Abstract elided by the publisher.
Loosely-Separated "Sister" Namespaces in Java
Abstract elided by the publisher.
Chai: Traits for Java-Like Languages
Abstract elided by the publisher.
Derivation and Evaluation of Concurrent Collectors
Abstract elided by the publisher.
Static Deadlock Detection for Java Libraries
Abstract elided by the publisher.
Ownership Domains: Separating Aliasing Policy from Mechanism
Abstract elided by the publisher.
A Middleware Framework for the Persistence and Querying of Java Objects
Abstract elided by the publisher.
Finding and Removing Performance Bottlenecks in Large Systems
Abstract elided by the publisher.
Efficiently Verifiable Escape Analysis
Abstract elided by the publisher.
LOOJ: Weaving LOOM into Java
Abstract elided by the publisher.
Sequential Object Monitors
Abstract elided by the publisher.
AspectJ2EE = AOP + J2EE
Abstract elided by the publisher.
Typestates for Objects
Abstract elided by the publisher.