Persistent Oberon: A Programming Language with Integrated Persistence
Abstract elided by the publisher.
613 papers · page 21 of 31
On a Tighter Integration of Functional and Logic Programming
Abstract elided by the publisher.
Adjunct Elimination in Context Logic for Trees
Abstract elided by the publisher.
Finally Tagless, Partially Evaluated
Abstract elided by the publisher.
Monadic, Prompt Lazy Assertions in Haskell
Abstract elided by the publisher.
Scalable Simulation of Cellular Signaling Networks
Abstract elided by the publisher.
Translation Correctness for First-Order Object-Oriented Pattern Matching
Abstract elided by the publisher.
Local Reasoning for Storable Locks and Threads
Abstract elided by the publisher.
A Probabilistic Applied Pi-Calculus
Abstract elided by the publisher.
Deriving Compilers and Virtual Machines for a Multi-level Language
Abstract elided by the publisher.
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
Abstract elided by the publisher.
Call-by-Name and Call-by-Value in Normal Modal Logic
Abstract elided by the publisher.
Type-Based Verification of Correspondence Assertions for Communication Protocols
Abstract elided by the publisher.
Call-by-Value Is Dual to Call-by-Name, Extended
Abstract elided by the publisher.
An Efficient SSA-Based Algorithm for Complete Global Value Numbering
Abstract elided by the publisher.
A Systematic Approach to Probabilistic Pointer Analysis
Abstract elided by the publisher.
Complete Lattices and Up-To Techniques
Abstract elided by the publisher.
Static and Dynamic Analysis: Better Together
Abstract elided by the publisher.
X10: Concurrent Programming for Modern Architectures
Abstract elided by the publisher.
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification
Abstract elided by the publisher.