[1] P W Shor.Algorithms for quantum computation:discrete logarithms and factoring[A].Proc.35th Annual Symp.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].Proc 28th Annual ACM Symp on the Theory of Computing[C].New York:ACM Press,1996.212-219.
[3] M A Nielsen,I L C'huang.Quantum Computation and Quantum Information[M].Cambridge:Cambridge University Press,2000.
[4] S Abramsky.High-level methods for quantum computation and information[A].Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)[C].USA:IEEE Computer Society,2004.410-414.
[5] E H Knill.Conventions for Quantum Pseudocode[R].USA:Los Alamos National Laboratory,1996.
[6] Bömer.A Procedural Formalism for Quantum Computing[D].Vienna:Department of Theoretical Physics,Technical University of Vienna,1998.
[7] P Selinger.Towards a quantum programming language[J].Mathematics Structures in Computer Science,2004,14(4):527-586.
[8] S J Gay,R Nagarajan.Communicating quantum processes,annual symposium on principles of programming languages[A].Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages[C].USA:Programming Language,2005.145-157.
[9] Y Feng,R Y Duan,M S Ying.Bisimulation for quantum processes[A].Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)[C].New York:ACM Press,2011.523-534.
[10] Y J Li,N K Yu,M S Ying.Termination of nodeterministic quantum programs[J].Acta Informatica,2014,51(1):1-24.
[11] N K Yu,M S Ying.Reachability and termination analysis of concurrent quantum programs[J].Lecture Notes in Computer Science,2012,7454:69-83.
[12] M S Ying,N K Yu,Y Feng,R Y Duan.Verification of quantum programs[J].Sci Comput Program,2013,78(9):1679-1700.
[13] 雷红轩,席政军,李永明.广义量子Loop程序的若干性质[J].电子学报,2013,41(4):727-732. LEI Hong-xuan,XI Zheng-jun,LI Yong-ming.Some properties of genaralized quantum loop program[J].Acta Electronica Sinica,2013,41(4):727-732.(in Chinese)
[14] 雷红轩,席政军,李永明.量子最弱自由前置条件的交换性及其性质[J].软件学报,2013,24(5):933-941. LEI Hong-xuan,XI Zheng-jun,LI Yong-ming.Commutativity of quantum weakest liberal precondition and its properties[J].Journal of Software,2013,24(5):933-941.(in Chinese)
[15] 林运国,雷红轩,李永明.量子马尔可夫链安全性模型检测[J].电子学报,2014,42(11):2191-2197. LIN Yun-guo,LEI Hong-xuan,LI Yong-ming.Model checking of safety property over quantum markov chain[J].Acta Electronica Sinica,2014,42(11):2191-2197.(in Chinese) |