Quantum Programming Language

Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features
The increasing control complexity of Noisy Intermediate-Scale Quantum (NISQ) systems underlines the necessity of integrating quantum …
X. Fu, Jintao Yu, Xing Su, Hanru Jiang, Hua Wu, Fucheng Cheng, Xi Deng, Jinrong Zhang, Lei Jin, Yihang Yang, Le Xu, Chunchao Hu, Anqi Huang, Guangyao Huang, Xiaogang Qiang, Mingtang Deng, Ping Xu, Weixia Xu, Wanwei Liu, Yu Zhang, Yuxin Deng, Junjie Wu, Yuan Feng
引用 DOI URL
Proof rules for the correctness of quantum programs
We apply the notion of quantum predicate proposed by D’Hondt and Panangaden to analyze a simple language fragment which may describe …
引用 DOI URL