1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LO2020★ 1 cited
Local Variables and Quantum Relational Hoare Logic
Dominique Unruh
We add local variables to quantum relational Hoare logic (Unruh, POPL 2019). We derive reasoning rules for supporting local variables (including an improved "adversary rule"). We e…
quant-ph2019
Quantum Hoare Logic with Ghost Variables
Dominique Unruh
Quantum Hoare logic allows us to reason about quantum programs. We present an extension of quantum Hoare logic that introduces "ghost variables" to extend the expressive power of p…
quant-ph2018
Quantum Relational Hoare Logic
Dominique Unruh
We present a logic for reasoning about pairs of interactive quantum programs - quantum relational Hoare logic (qRHL). This logic follows the spirit of probabilistic relational Hoar…