Algorithmic Nominal Game Semantics
Abstract elided by the publisher.
976 papers · page 24 of 49
The Relationship between Separation Logic and Implicit Dynamic Frames
Abstract elided by the publisher.
Precise Interprocedural Analysis in the Presence of Pointers to the Stack
Abstract elided by the publisher.
General Bindings and Alpha-Equivalence in Nominal Isabelle
Abstract elided by the publisher.
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis
Abstract elided by the publisher.
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays
Abstract elided by the publisher.
A Semantic Framework for Declassification and Endorsement
Abstract elided by the publisher.
Amortised Resource Analysis with Separation Logic
Abstract elided by the publisher.
A PolyTime Functional Language from Light Linear Logic
Abstract elided by the publisher.
Testing Polymorphic Properties
Abstract elided by the publisher.
Formal Verification of Coalescing Graph-Coloring Register Allocation
Abstract elided by the publisher.
A Theory of Speculative Computation
Abstract elided by the publisher.
Propositional Interpolation and Abstract Interpretation
Abstract elided by the publisher.
Logical Concurrency Control from Sequential Proofs
Abstract elided by the publisher.
Fluid Updates: Beyond Strong vs. Weak Updates
Abstract elided by the publisher.
Parameterized Memory Models and Concurrent Separation Logic
Abstract elided by the publisher.
Amortized Resource Analysis with Polynomial Potential
Abstract elided by the publisher.
Generative Operational Semantics for Relaxed Memory Models
Abstract elided by the publisher.
Automating Security Mediation Placement
Abstract elided by the publisher.
TRX: A Formally Verified Parser Interpreter
Abstract elided by the publisher.