Yingte Xu

Refinement calculus of quantum programs with projective assertions

2023 · arXiv (Cornell University)

Refinement calculus provides a structured framework for the progressive and modular development of programs, ensuring their correctness throughout the refinement process. This paper introduces a refinement calculus tailored for quantum programs. To this end, we …