1 citations · 1 across the 3 of their papers we have counts for
4 papers · 1 filter
Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis
Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen
Quantum weakest preconditions are a fundamental tool for program verification of quantum programs. Many variations have been reported in the literature. We revisit quantum weakest…
Quantum references
Dominique Unruh
We present a theory of "quantum references", similar to lenses in classical functional programming, that allow to point to a subsystem of a larger quantum system, and to mutate/mea…
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…
Quantum Relational Hoare Logic with Expectations
Yangjia Li, Dominique Unruh
We present a variant of the quantum relational Hoare logic from (Unruh, POPL 2019) that allows us to use "expectations" in pre- and postconditions. That is, when reasoning about pa…