Are We Ready for a Safer Construction Environment?
Abstract elided by the publisher.
1,096 papers · page 29 of 55
Type-Based Object Immutability with Flexible Initialization
Abstract elided by the publisher.
COPE - Automating Coupled Evolution of Metamodels and Models
Abstract elided by the publisher.
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates
Abstract elided by the publisher.
Debugging Method Names
Abstract elided by the publisher.
Remote Batch Invocation for Compositional Object Services
Abstract elided by the publisher.
Failboxes: Provably Safe Exception Handling
Abstract elided by the publisher.
Checking Framework Interactions with Relationships
Abstract elided by the publisher.
Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither
Abstract elided by the publisher.
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes
Abstract elided by the publisher.
Making Sense of Large Heaps
Abstract elided by the publisher.
The Myths of Object-Orientation
Abstract elided by the publisher.
Modular Visitor Components
Abstract elided by the publisher.
Program Metamorphosis
Abstract elided by the publisher.
Stepping Stones over the Refactoring Rubicon
Abstract elided by the publisher.
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic
Abstract elided by the publisher.
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility
Abstract elided by the publisher.
Introduction to: The Myths of Object-Orientation
Abstract elided by the publisher.
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems
Abstract elided by the publisher.
Loci: Simple Thread-Locality for Java
Abstract elided by the publisher.