Linear Declassification
Abstract elided by the publisher.
976 papers · page 28 of 49
Verification of Equivalent-Results Methods
Abstract elided by the publisher.
Programming in JoCaml (Tool Demonstration)
Abstract elided by the publisher.
Playing with TOY: Constraints and Domain Cooperation
Abstract elided by the publisher.
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
Abstract elided by the publisher.
Upper Adjoints for Fast Inter-procedural Variable Equalities
Abstract elided by the publisher.
Iterative Specialisation of Horn Clauses
Abstract elided by the publisher.
Verification of Higher-Order Computation: A Game-Semantic Approach
Abstract elided by the publisher.
A Sound Semantics for OCamllight
Abstract elided by the publisher.
A Realizability Model for Impredicative Hoare Type Theory
Abstract elided by the publisher.
Practical Programming with Higher-Order Encodings and Dependent Types
Abstract elided by the publisher.
Inferring Channel Buffer Bounds Via Linear Programming
Abstract elided by the publisher.
The Conversation Calculus: A Model of Service-Oriented Computation
Abstract elided by the publisher.
A Consistent Semantics of Self-adjusting Computation
Abstract elided by the publisher.
A Concurrent Calculus with Atomic Transactions
The Software Transactional Memory (STM) model is an original approach for controlling concurrent accesses to resources without the need for explicit lock-based synchronization mechanisms. A key feature of STMis to provide a way to group sequences of read and write actions inside …
Cost Analysis of Java Bytecode
Abstract elided by the publisher.
A Certified Lightweight Non-interference Java Bytecode Verifier
Abstract elided by the publisher.
Small Witnesses for Abstract Interpretation-Based Proofs
Abstract elided by the publisher.
On the Implementation of Construction Functions for Non-free Concrete Data Types
Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence classes of some equational theory. For instance, a sorted list is a particular representative wrt commutativi…
A Complete Guide to the Future
Abstract elided by the publisher.