|
Conferences in DBLP
Abductive Inference for Reasoning about Heaps. [Citation Graph (, )][DBLP]
A Sound Floating-Point Polyhedra Abstract Domain. [Citation Graph (, )][DBLP]
A Flow-Sensitive Region Inference for CLI. [Citation Graph (, )][DBLP]
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. [Citation Graph (, )][DBLP]
Static Detection of Place Locality and Elimination of Runtime Checks. [Citation Graph (, )][DBLP]
Certified Reasoning in Memory Hierarchies. [Citation Graph (, )][DBLP]
The Complexity of Coverage. [Citation Graph (, )][DBLP]
Game Characterizations of Process Equivalences. [Citation Graph (, )][DBLP]
Extensional Universal Types for Call-by-Value. [Citation Graph (, )][DBLP]
Harnessing the Multicores: Nested Data Parallelism in Haskell. [Citation Graph (, )][DBLP]
Minimal Ownership for Active Objects. [Citation Graph (, )][DBLP]
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. [Citation Graph (, )][DBLP]
Reasoning about Java's Reentrant Locks. [Citation Graph (, )][DBLP]
ML Modules and Haskell Type Classes: A Constructive Comparison. [Citation Graph (, )][DBLP]
The Essence of Form Abstraction. [Citation Graph (, )][DBLP]
On Affine Usages in Signal-Based Communication. [Citation Graph (, )][DBLP]
Abstraction of Clocks in Synchronous Data-Flow Systems. [Citation Graph (, )][DBLP]
From Authorization Logics to Types for Authorization. [Citation Graph (, )][DBLP]
Interface Types for Haskell. [Citation Graph (, )][DBLP]
Exception Handlers as Extensible Cases. [Citation Graph (, )][DBLP]
Sound and Complete Type Inference for a Systems Programming Language. [Citation Graph (, )][DBLP]
An Operational Semantics for JavaScript. [Citation Graph (, )][DBLP]
JavaScript Instrumentation in Practice. [Citation Graph (, )][DBLP]
|