activity
20232026
most citedRefinement calculus of quantum programs with projective assertions

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

quant-ph2024

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…