Proof rules for the correctness of quantum programs

2007/10/01 by Yuan Feng, Runyao Duan, Zhengfeng Ji +1 · 4 citations

paper · doi:10.1016/j.tcs.2007.06.011

Cited by

• A Denotational Semantics for Quantum Loops
• Measure Many Quantum Finite Automata on Infinite Words
• Refinement orders for quantum programs
• Noise-aware Verification and Synthesis of Quantum Programs