Foundations of Quantum Programming (Extended Abstract)
No abstract available.
Related papers
- A Practical Specification Language for Automatic Quantum Program Verification CAV 2026
- Formalizing the One-Way to Hiding Theorem CPP 2025
- MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation PLDI 2025
- CoqQ: Foundational Verification of Quantum Programs POPL 2023
- Floyd-hoare logic for quantum programs TOPLAS 2011
- Full abstraction for the quantum lambda-calculus POPL 2020
- SliQSim: A Quantum Circuit Simulator and Solver for Probability and Statistics Queries TACAS 2025
- How Many Quantum Circuit Identities Are Needed to Generate All Others? CAV 2026