Programming Languages

isQ: An Integrated Software Stack for Quantum Programming
Jingzhe Guo, Huazhe Lou, Jintao Yu, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, Mingsheng Ying
引用 DOI
An applied quantum Hoare logic
We derive a variant of quantum Hoare logic (QHL), called applied quantum Hoare logic (aQHL for short), by: 1. restricting QHL to a …
Li Zhou, Nengkun Yu, Mingsheng Ying
引用 DOI URL