Quantum Programming

Invariants of quantum programs: characterisations and generation
Program invariant is a fundamental notion widely used in program verification and analysis. The aim of this paper is twofold: (i) find …
Mingsheng Ying, Shenggang Ying, Xiaodi Wu
引用 DOI URL
Verification of quantum programs
This paper develops verification methodology for quantum programs, and the contribution of the paper is two-fold. •Sharir, Pnueli and …
Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan
引用 DOI URL
A Flowchart Language for Quantum Programming
引用 DOI