A Static Analysis of Entanglement
Abstract elided by the publisher.
Related papers
- Twist: sound reasoning for purity and entanglement in Quantum programs POPL 2022
- Quantum Entanglement Analysis Based on Abstract Interpretation SAS 2008
- Hoopl: a modular, reusable library for dataflow analysis and transformation Haskell 2010
- Searching entangled program spaces ICFP 2022
- Entanglement detection with near-zero cost ICFP 2022
- A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation TACAS 2024
- Efficient Parallel Functional Programming with Effects PLDI 2023
- Analysis and Verification of Quantum Communication Protocols in UPPAAL CAV 2026