A Logical Mix of Approximation and Separation
No abstract available.
Related papers
- Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing OOPSLA 2026
- RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing POPL 2026
- Skipping the binder bureaucracy with mixed embeddings in a semantics course (functional pearl) ICFP 2021
- Relative Completeness of Incorrectness Separation Logic APLAS 2024
- SecRSL: security separation logic for C11 release-acquire concurrency OOPSLA 2021
- Automatic cyclic termination proofs for recursive procedures in separation logic CPP 2017
- Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding ECOOP 2023
- Approximate Relational Reasoning for Higher-Order Probabilistic Programs POPL 2025