Gushu Li

最新发表

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie (2020). Projection-based runtime assertions for testing and debugging Quantum programs. Proc. ACM Program. Lang..

引用 DOI URL

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie (2020). Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer.

引用 arXiv URL