Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis
Abstract elided by the publisher.
1,096 papers · page 30 of 55
MAPO: Mining and Recommending API Usage Patterns
Abstract elided by the publisher.
ReCrash: Making Software Failures Reproducible by Preserving Object States
Abstract elided by the publisher.
Regional Logic for Local Reasoning about Global Invariants
Abstract elided by the publisher.
Computing Stack Maps with Interfaces
Abstract elided by the publisher.
UpgradeJ: Incremental Typechecking for Class Upgrades
Abstract elided by the publisher.
Extensible Universes for Object-Oriented Data Models
Abstract elided by the publisher.
A Model for Java with Wildcards
Abstract elided by the publisher.
An Extensible State Machine Pattern for Interactive Applications
Abstract elided by the publisher.
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study
Abstract elided by the publisher.
Bristlecone: A Language for Robust Software Systems
Abstract elided by the publisher.
A Unified Framework for Verification Techniques for Object Invariants
Object invariants define the consistency of objects. They have subtle semantics because of call-backs, multi-object invariants and subclassing. Several visible-state verification techniques for object invariants have been proposed. It is difficult to compare these techniques and …
Safe Cross-Language Inheritance
Abstract elided by the publisher.
The Return of Transactions
Abstract elided by the publisher.
Prototyping and Composing Aspect Languages
Abstract. Domain specific aspect languages (DSALs) are becoming more pop-ular because they can be designed to represent recurring concerns in a way that is optimized for a specific domain. However, the design and implementation of even a limited domain-specific aspect language ca…
Flow Analysis of Code Customizations
Abstract elided by the publisher.
Session-Based Distributed Programming in Java
Abstract elided by the publisher.
Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary
Abstract elided by the publisher.
Practical Object-Oriented Back-in-Time Debugging
Abstract elided by the publisher.
Integrating Nominal and Structural Subtyping
Abstract elided by the publisher.