Complete Lattices and Up-To Techniques
Abstract elided by the publisher.
Related papers
- Latticed k-Induction with an Application to Probabilistic Programs CAV 2021
- A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers CAV 1990
- Type-Based Verification of Connectivity Constraints in Lattice Surgery APLAS 2024
- Fixpoint games on continuous lattices POPL 2019
- Efficient Implementation of Lattice Operations TOPLAS 1989
- How to combine widening and narrowing for non-monotonic systems of equations PLDI 2013
- Lifting abstract interpreters to quantified logical domains POPL 2008
- Characterizing Sets of Theories That Can Be Disjointly Combined POPL 2026