1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
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…