|
Conferences in DBLP
Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither. [Citation Graph (, )][DBLP]
Coinductive Type Systems for Object-Oriented Languages. [Citation Graph (, )][DBLP]
Checking Framework Interactions with Relationships. [Citation Graph (, )][DBLP]
COPE - Automating Coupled Evolution of Metamodels and Models. [Citation Graph (, )][DBLP]
Making Sense of Large Heaps. [Citation Graph (, )][DBLP]
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis. [Citation Graph (, )][DBLP]
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems. [Citation Graph (, )][DBLP]
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. [Citation Graph (, )][DBLP]
Fine-Grained Access Control with Object-Sensitive Roles. [Citation Graph (, )][DBLP]
Practical API Protocol Checking with Access Permissions. [Citation Graph (, )][DBLP]
Adding State and Visibility Control to Traits Using Lexical Nesting. [Citation Graph (, )][DBLP]
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. [Citation Graph (, )][DBLP]
Modular Visitor Components. [Citation Graph (, )][DBLP]
Debugging Method Names. [Citation Graph (, )][DBLP]
MAPO: Mining and Recommending API Usage Patterns. [Citation Graph (, )][DBLP]
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates. [Citation Graph (, )][DBLP]
Stepping Stones over the Refactoring Rubicon. [Citation Graph (, )][DBLP]
Program Metamorphosis. [Citation Graph (, )][DBLP]
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility. [Citation Graph (, )][DBLP]
Java on 1000 Cores: Tales of Hardware/Software Co-design. [Citation Graph (, )][DBLP]
Loci: Simple Thread-Locality for Java. [Citation Graph (, )][DBLP]
Failboxes: Provably Safe Exception Handling. [Citation Graph (, )][DBLP]
Are We Ready for a Safer Construction Environment? [Citation Graph (, )][DBLP]
Type-Based Object Immutability with Flexible Initialization. [Citation Graph (, )][DBLP]
Security Monitor Inlining for Multithreaded Java. [Citation Graph (, )][DBLP]
EventJava: An Extension of Java for Event Correlation. [Citation Graph (, )][DBLP]
Remote Batch Invocation for Compositional Object Services. [Citation Graph (, )][DBLP]
Introduction to: The Myths of Object-Orientation. [Citation Graph (, )][DBLP]
The Myths of Object-Orientation. [Citation Graph (, )][DBLP]
|