Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs
Abstract elided by the publisher.
Related papers
- Quantum relational Hoare logic POPL 2019
- Reasoning about Grover's quantum search algorithm using probabilistic wp TOPLAS 1999
- SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits PLDI 2026
- CoqQ: Foundational Verification of Quantum Programs POPL 2023
- Quantitative separation logic: a logic for reasoning about probabilistic pointer programs POPL 2019
- Hybrid Path-Sums for Hybrid Quantum Programs PLDI 2026
- A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic POPL 2022
- A Language for Quantifying Quantum Network Behavior OOPSLA 2025