… This challenge for quantum programming is an opportunity … to prove, in advance, that the
code implementing a quantum … quantum programs (voqc), implemented and proved correct in …

… In order to help reasoning about the quantum programs … is the key in proving correctness of
classical programs (see [5] … that any correct assertion about the quantum loops can be proved …

… that ensure quantum software is correct is vital for quantum computers. Quantum programs
are … languages, it is also necessary to be able to prove these programs run correctly. Many …

… quantum while programs, as well as a logic for reasoning about them. This logic permits
proving a … probability that a program value is computed correctly. We extend this notion to a …

… quantum programming language, in which classic quantum … an expressive program logic
for proving properties of programs. … proved correct wrt the semantics of programs. A verified …

… The equivalence of these models was proved by Yao [7]. … The first example of an error-correcting
quantum code was … with some intuition of 'quantum programming'. The problem is …

… correct quantum programs hinders practical quantum computing. Thus, effective and efficient
quantum program … (2) On the theory side, we prove that testing quantum programs with …

… We argue that quantum programs demand machine-checkable proofs of correctness. We …
the resulting semantics to prove the properties of a number of quantum programs, including …

… their correctness. In this … quantum programming language, followed by its operational and
denotational semantics in Section 3. In particular, we prove that distributed quantum programs …

… , we consider quantum programs modeled by quantum Markov … was established and its
(relative) completeness was proved in [… If the conclusion is correct for the case of n, then we have: …