Simple and Precise Widenings for H-Polyhedra
Abstract elided by the publisher.
613 papers · page 18 of 31
JNI Light: An Operational Model for the Core JNI
Abstract elided by the publisher.
Index-Compact Garbage Collection
Abstract elided by the publisher.
Verification of Tree-Processing Programs via Higher-Order Model Checking
Abstract elided by the publisher.
Liveness of Communicating Transactions (Extended Abstract)
We study liveness and safety in the context of CCS extended with communicating transactions, a construct we recently proposed to model automatic error recovery in distributed systems. We show that fair-testing and may-testing capture the right notions of liveness and safety in th…
Foundations of Quantum Programming (Extended Abstract)
Abstract elided by the publisher.
Relational Parametricity for a Polymorphic Linear Lambda Calculus
Abstract elided by the publisher.
Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras
Abstract elided by the publisher.
Asymptotic Resource Usage Bounds
When describing the resource usage of a program, it is usual to talk in asymptotic terms, such as the well-known "big O" notation, whereby we focus on the behaviour of the program for large input data and make a rough approximation by considering as equivalent programs whose reso…
On Stratified Regions
Abstract elided by the publisher.
Bi-abductive Resource Invariant Synthesis
Abstract elided by the publisher.
The Twilight Zone: From Testing to Formal Specifications and Back Again
Abstract elided by the publisher.
A Fresh Look at Separation Algebras and Share Accounting
Abstract elided by the publisher.
Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine
Abstract elided by the publisher.
Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable
Abstract elided by the publisher.
Classical Natural Deduction for S4 Modal Logic
Abstract elided by the publisher.
Types and Recursion Schemes for Higher-Order Program Verification
Abstract elided by the publisher.
Refining Abstract Interpretation-Based Static Analyses with Hints
Abstract elided by the publisher.
Witnessing Purity, Constancy and Mutability
Abstract elided by the publisher.
Ownership Downgrading for Ownership Types
Abstract elided by the publisher.