|
Conferences in DBLP
The Return of Transactions. [Citation Graph (, )][DBLP]
A Model for Java with Wildcards. [Citation Graph (, )][DBLP]
On Validity of Program Transformations in the Java Memory Model. [Citation Graph (, )][DBLP]
Safe Cross-Language Inheritance. [Citation Graph (, )][DBLP]
Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary. [Citation Graph (, )][DBLP]
Kilim: Isolation-Typed Actors for Java. [Citation Graph (, )][DBLP]
A Uniform Transactional Execution Environment for Java. [Citation Graph (, )][DBLP]
Ptolemy: A Language with Quantified, Typed Events. [Citation Graph (, )][DBLP]
Prototyping and Composing Aspect Languages. [Citation Graph (, )][DBLP]
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study. [Citation Graph (, )][DBLP]
UpgradeJ: Incremental Typechecking for Class Upgrades. [Citation Graph (, )][DBLP]
Integrating Nominal and Structural Subtyping. [Citation Graph (, )][DBLP]
Flow Analysis of Code Customizations. [Citation Graph (, )][DBLP]
Online Phase-Adaptive Data Layout Selection. [Citation Graph (, )][DBLP]
MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments. [Citation Graph (, )][DBLP]
Externalizing Java Server Concurrency with CAL. [Citation Graph (, )][DBLP]
Regional Logic for Local Reasoning about Global Invariants. [Citation Graph (, )][DBLP]
A Unified Framework for Verification Techniques for Object Invariants. [Citation Graph (, )][DBLP]
Extensible Universes for Object-Oriented Data Models. [Citation Graph (, )][DBLP]
Programming with Live Distributed Objects. [Citation Graph (, )][DBLP]
Bristlecone: A Language for Robust Software Systems. [Citation Graph (, )][DBLP]
Session-Based Distributed Programming in Java. [Citation Graph (, )][DBLP]
ReCrash: Making Software Failures Reproducible by Preserving Object States. [Citation Graph (, )][DBLP]
An Extensible State Machine Pattern for Interactive Applications. [Citation Graph (, )][DBLP]
Practical Object-Oriented Back-in-Time Debugging. [Citation Graph (, )][DBLP]
Inference of Reference Immutability. [Citation Graph (, )][DBLP]
Computing Stack Maps with Interfaces. [Citation Graph (, )][DBLP]
How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software. [Citation Graph (, )][DBLP]
|