Conferences in DBLP
Code Roots. [Citation Graph (, )][DBLP ] Detecting Missing Method Calls in Object-Oriented Software. [Citation Graph (, )][DBLP ] Debugging Model-Transformation Failures Using Dynamic Tainting. [Citation Graph (, )][DBLP ] Automatically Extracting Class Diagrams from Spreadsheets. [Citation Graph (, )][DBLP ] Adding Dynamic Types to C# . [Citation Graph (, )][DBLP ] Essential AOP: The A Calculus. [Citation Graph (, )][DBLP ] The Essence of JavaScript. [Citation Graph (, )][DBLP ] Verifying Executable Object-Oriented Specifications with Separation Logic. [Citation Graph (, )][DBLP ] Verifying Generics and Delegates. [Citation Graph (, )][DBLP ] Recency Types for Analyzing Scripting Languages. [Citation Graph (, )][DBLP ] Correct Refactoring of Concurrent Java Code. [Citation Graph (, )][DBLP ] Programming Coordinated Behavior in Java. [Citation Graph (, )][DBLP ] JCoBox: Generalizing Active Objects to Concurrent Components. [Citation Graph (, )][DBLP ] Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study. [Citation Graph (, )][DBLP ] A Type System for Data-Centric Synchronization. [Citation Graph (, )][DBLP ] Type-Safe Eventful Sessions in Java. [Citation Graph (, )][DBLP ] Capabilities for Uniqueness and Borrowing. [Citation Graph (, )][DBLP ] Secret Valley. [Citation Graph (, )][DBLP ] Embedding Languages without Breaking Tools. [Citation Graph (, )][DBLP ] Modules as Objects in Newspeak. [Citation Graph (, )][DBLP ] Inline Caching Meets Quickening. [Citation Graph (, )][DBLP ] Self-Replicating Objects for Multicore Platforms. [Citation Graph (, )][DBLP ] Reasoning about the Implementation of Concurrency Abstractions on x86-TSO. [Citation Graph (, )][DBLP ] Concurrent Abstract Predicates. [Citation Graph (, )][DBLP ] The Use of Overloading in Java Programs. [Citation Graph (, )][DBLP ] Falling Back on Executable Specifications. [Citation Graph (, )][DBLP ] Contract-Based Data Structure Repair Using Alloy. [Citation Graph (, )][DBLP ]