Quantum Hoare Logic

A proof system for disjoint parallel quantum programs
In this paper, we define the operational and denotational semantics of a special class of parallel quantum programs, namely disjoint …
Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng
引用 DOI URL
Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra
We investigate the algebraic reasoning of quantum programs inspired by the success of classical program analysis based on Kleene …
Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
引用 DOI URL