[1] P W Shor.Algorithms for quantum computation:Discrete logarithms and factoring[A].Proceedings of 35th Annual Symposium on Foundations of Computer Science[C]. Los Alamitos,CA:IEEE Press,1994.124-134. [2] L Grover.A fast quantum mechanical algorithm for database search[A].Proceeding s of 28th Annual ACM Symposium on the Theory of Computing[C].New York:ACM Pres s,1996.212-219. [3] M A Nielsen,Chuang I L.Quantum Computation and Quantum Information[M].Cambridg e:Cambridge University Press,2000. [4] E H Knill.Conventions for quantum pseudocode[R].LAUR-96-2724,LANL Report,199 6. [5] E D’Hondt,P Panangaden.Quantum weakest preconditions[J].Mathematical Structur es in Computer Science,2006,16:429-451. [6] BÖmer.A procedural formalism for quantum computing[D].Vienna:Technical Unive rsity of Vienna,1998. [7] BÖmer.Structured quantum programming[D].Vienna:Technical University of Vienn a,2003. [8] J W Sanders,P Zuliani.Quantum programming[A].Proceedings of Mathematics of Pro gram Construction 2000[C].German:Springer,2000.80-99. [9] P Zuliani.Quantum programming[D].UK:Oxford University,2001. [10] P Zuliani.Compiling quantum program[J].Acta Informatica,2005,41:435-474. [11] P Zuliani.Quantum programming with mixed states[J].Electronic Notes in Theoret ical Computer Science,2007,170:185-199. [12] P Selinger.Towards a quantum programming language[J].Mathematics Structures in Computer Science,2004,14(4):527-586. [13] 李志强,陈汉武,徐宝文,肖芳英,薛希玲.四量子可逆逻辑电路快速综合算法[J].电子学报, 2008,36(11):2081-2089. LI Zhi-qiang,CHEN Han-wu,XU Bao-wen,XIAO Fang-ying,XUE Xi-ling.Fast algorit hms for 4-qubit reversible logic circuits synthesis[J].Acta Electronica Sinic a,2008,36(11):2081-2089.(in Chinese) [14] 薛希玲,陈汉武,刘志昊,李志强.量子线路仿真的分治算法[J].电子学报,2010,38(2):339 -342. XUE Xi-ling,CHEN Han-wu,LIU Zhi-hao,LI Zhi-qiang.Divide and conquer algorith ms for quantum circuit simulation[J].Acta Electronica Sinica,2010,38(2):339-34 2.(in Chinese) [15] 杨忠明,陈汉武,王冬.基于二分法量子可逆逻辑电路综合[J].电子学报,2012,40(5):1045 -1049. YANG Zhong-ming,CHEN Han-wu,WANG Dong.Qubits reversible logic circuits synthes is based on bisection method[J].Acta Electronica Sinica,2012,40(5):1045-1049.( in Chinese) [16] M S Ying.Floyd-Hoare Logic for quantum programs[J].ACT Transactions on Progra mming Languages and Systems,2011,33(6):19-49. [17] M S Ying,Y Feng.Quantum loop programs[J].Acta Informatica,2010,47(4):221-250. [18] M S Ying,N K Yu,Y Feng,R Y Duan.Verification of quantum programs[DB/OL].http:/ /arxiv.org/abs/Quant-ph/1106.4063v1,2011. [19] 李小鹏.广义量子loop程序[D].西安:陕西师范大学,2011. X P Li.General quantum loop program[D].Xi'an:Shaanxi Normal University,2011. [20] Y J Li,N K Yu,M S Ying.Termination of nodeterministic quantum programs[DB/OL]. http://arxiv.org/abs/Quant-ph/ 1201.0891v1,2012. [21] N K Yu,M S Ying.Reachability and termination analysis of concurrent quantum prog rams[DB/OL].http://arxiv.org/abs/ Quant-ph/1206.1935v1,2012. [22] M S Ying,N K Yu,Y Feng.Defining quantum control flow[DB/OL].http://arxiv.org/a bs/Quant-ph/1209.4379v1,2012. |