44 citations · 50 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 6 cited
Verification Logics for Quantum Programs
Robert Rand
We survey the landscape of Hoare logics for quantum programs. We review three papers: "Reasoning about imperative quantum programs" by Chadha, Mateus and Sernadas; "A logic for for…
cs.LO2019★ 44 cited
ReQWIRE: Reasoning about Reversible Quantum Circuits
Robert Rand, Jennifer Paykin, Dong-Ho Lee +1
Common quantum algorithms make heavy use of ancillae: scratch qubits that are initialized at some state and later returned to that state and discarded. Existing quantum circuit lan…