Functional Programming in Sublinear Space
Abstract elided by the publisher.
976 papers · page 25 of 49
On the Expressive Power of Primitives for Compensation Handling
Abstract elided by the publisher.
Separating Shape Graphs
Abstract elided by the publisher.
Deadlock-Free Channels and Locks
Abstract elided by the publisher.
The Audacity of Hope: Thoughts on Reclaiming the Database Dream
Abstract elided by the publisher.
Verifying a Compiler for Java Threads
Abstract elided by the publisher.
A Grammar-Based Approach to Invertible Programs
Abstract elided by the publisher.
Faulty Logic: Reasoning about Fault Tolerant Programs
Abstract elided by the publisher.
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While
Abstract elided by the publisher.
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions
Abstract elided by the publisher.
A Universal Calculus for Stream Processing Languages
Abstract elided by the publisher.
Enforcing Stateful Authorization and Information Flow Policies in Fine
Abstract elided by the publisher.
Stateful Contracts for Affine Types
Abstract elided by the publisher.
CFA2: A Context-Free Approach to Control-Flow Analysis
Abstract elided by the publisher.
Weighted Dynamic Pushdown Networks
Abstract elided by the publisher.
Explicit Stabilisation for Modular Rely-Guarantee Reasoning
Abstract elided by the publisher.
Verified, Executable Parsing
Abstract elided by the publisher.
Minimization Algorithm for Symbolic Bisimilarity
Abstract elided by the publisher.
Abstract Processes in Orchestration Languages
Abstract elided by the publisher.
Conversation Types
Abstract elided by the publisher.