An Interpretation of Bunched Logic for Reasoning about Heap-Manipulating Quantum Programs

Bonan Su, Li Zhou, Yuan Feng +1

We introduce heap manipulation into quantum programming languages to enable flexible quantum memory management, which in turn poses new challenges for reasoning about program corre…