Quantum programming:From theories to implementations  

作　　者：YING MingSheng FENG Yuan DUAN RunYao LI YangJia YU NengKun 

机构地区：[1]Center for Quantum Computation and Intelligent Systems,Faculty of Engineering and Information Technology,University of Technology,Sydney,NSW 2007,Australia [2]State Key Laboratory of lntelligent Technology and Systems,Tsinghua National Laboratory for Information Science and Technology Department of Computer Science and Technology,Tsinghua University Beijing 100084,China

出　　处：《Chinese Science Bulletin》2012年第16期1903-1909,共7页

基　　金：supported by the Australian Research Council(DP110103473);the National Natural Science Foundation of China(60736011)

摘　　要：This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.

关 键 词：量子计算机 编程方法 并行编程语言 编程技术 形式化方法 通信协议 验证方法 子程序 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]