FliPpr: A Prettier Invertible Printing System
Abstract elided by the publisher.
976 papers · page 21 of 49
Distributed Electronic Rights in JavaScript
Contracts enable mutually suspicious parties to cooperate safely through the exchange of rights. Smart contracts are programs whose behavior enforces the terms of the contract. This paper shows how such contracts can be specified elegantly and executed safely, given an appropriat…
On Distributability in Process Calculi
Abstract elided by the publisher.
GADTs Meet Subtyping
While generalized algebraic datatypes (GADTs) are now considered well-understood, adding them to a language with a notion of subtyping comes with a few surprises. What does it mean for a GADT parameter to be covariant? The answer turns out to be quite subtle. It involves fine-gra…
Counterexample-Guided Precondition Inference
Abstract elided by the publisher.
Modular Reasoning about Separation of Concurrent Data Structures
Abstract elided by the publisher.
Constraining Delimited Control with Contracts
Abstract elided by the publisher.
Higher-Order Processes, Functions, and Sessions: A Monadic Integration
Abstract elided by the publisher.
Abstract Refinement Types
Abstract elided by the publisher.
Ribbon Proofs for Separation Logic
Abstract elided by the publisher.
What's Decidable about Weak Memory Models?
Abstract elided by the publisher.
A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert
Abstract elided by the publisher.
Concurrent Library Correctness on the TSO Memory Model
Abstract elided by the publisher.
Eventually Consistent Transactions
Abstract elided by the publisher.
Automated Verification of Equivalence Properties of Cryptographic Protocols
Abstract elided by the publisher.
The Call-by-Need Lambda Calculus, Revisited
The existing call-by-need λ describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivalent to another or to determine the value of a lazy program. However, neither of the existing calculi models ev…
A Compositional Specification Theory for Component Behaviours
Abstract elided by the publisher.
Probabilistic Abstract Interpretation
Abstract elided by the publisher.
Multiparty Session Types Meet Communicating Automata
Abstract elided by the publisher.
Complete Monitors for Behavioral Contracts
Abstract elided by the publisher.