research
∙
05/23/2021
Quantum and classical registers
We present a generic theory of "registers" in imperative programs and in...
share
research
∙
07/28/2020
Local Variables and Quantum Relational Hoare Logic
We add local variables to quantum relational Hoare logic (Unruh, POPL 20...
research
∙
03/20/2019
Quantum Relational Hoare Logic with Expectations
We present a variant of the quantum relational Hoare logic from (Unruh, ...
research
∙
02/01/2019
Quantum Hoare Logic with Ghost Variables
Quantum Hoare logic allows us to reason about quantum programs. We prese...
research
∙
02/09/2018
