Static Analysis of Quantum Programs
Abstract elided by the publisher.
Related papers
- On incorrectness logic for Quantum programs OOPSLA 2022
- QSSA: an SSA-based IR for Quantum computing CC 2022
- Communicating quantum processes POPL 2005
- Circuit Width Estimation via Effect Typing and Linear Dependency TOPLAS 2025
- Twist: sound reasoning for purity and entanglement in Quantum programs POPL 2022
- Hybrid Path-Sums for Hybrid Quantum Programs PLDI 2026
- Full abstraction for the quantum lambda-calculus POPL 2020
- QReach: A Reachability Analysis Tool for Quantum Markov Chains CAV 2024