Computer Science ›› 2015, Vol. 42 ›› Issue (7): 134-137.doi: 10.11896/j.issn.1002-137X.2015.07.029
Previous Articles Next Articles
LEI Hong-xuan
[1] Nielsen M A,Chuang I L.Quantum computation and quantum information[M].Cambridge:Cambridge University Press,2000 [2] Abramsky S.High-level methods for quantum computation and information[C]∥Proceedings of 19th Annual IEEE Symposium on Logic in Computer Science (LICS’04).2004:410-414 [3] Knill E H.Conventions for quantum pseudo-code[R].LANL report LAUR-96-2724,1996 [4] Selinger P.Towards a quantum programming language[J].Mathematical Structures in Computer Science,2004,14(4):527-586 [5] Gay S J,Nagarajan R.Communicating quantum processes,An-nual Symposium on Principles of Programming Languages[C]∥Proceedings of 32nd ACM SIGPLANSIGACT symposium on Principles of programming languages.Long Beach,California,USA,2005:145-157 [6] Lalire M,Jorrand P.A Process Algebraic Approach to Concurrent and Distributed Quantum Computation:Operational Semantics[C]∥Proceedings of 2nd International Workshop on Quantum Programming Languages.Turku,Finland,2004 [7] Feng Y,Duan R Y,Ying MS .Bisimulation for quantum processes[C]∥Proceedings of 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL).2011:523-534 [8] D’Hondt E,Panangaden P.Quantum weakest preconditions[J/OL].http://arxiv.org/pdf/quant-ph/0501157.pdf [9] 徐家福,宋方敏.量子程序设计语言初探[J].中国科学E辑:信息科学,2008,38(6):829-842 Xu Jia-fu,Song Fang-min.Study on Quantum Programming Language[J].Science in China(E):Information Science,2008,38(6):829-842 [10] 宋方敏,钱士钧,戴静安,等.量子程序设计语言NDQJava处理系统[J].软件学报,2008,19(1):9-16 Song Fang-min,Qian Shi-jun,Dai Jing-an,et al.Processing System of Quantum Programming Language NDQJava[J].Journal of Software,2008,19(1):9-16 [11] Ying M S,Feng Y,Duan R Y,et al.An Algebra of Quantum Processes[J].ACM Transactions on Computational Logic,2009,10(3):19:36 [12] Li Y J,Yu N K,Ying M S.Termination of NodeterministicQuantum Programs[J].Acta Informatica,2014,51(1):1-24 [13] Feng Y,Duan R Y,Ji Z F,et al.Proof rules for the correctness of quantum programs[J].Theoretical Computer Science,2007,386:151-166 [14] Ying M S,Feng Y.Quantum loop programs[J].Acta Informatica,2010,47(4):221-250 [15] Ying M S,Yu N K,Feng Y,et al.Verification of Quantum programs[J].Science of Computer Programming,2013,78(9):1679-1700 [16] Yu N K,Ying M S.Reachability and Termination Analysis of Concurrent Quantum Programs[DB/OL].http://arXiv.org/abs/1206.1935v1,2012 [17] 雷红轩,席政军,李永明.几种量子程序终止的有效验证[J].计算机科学,2012,39(11):75-78 Lei Hong-xuan,Xi Zheng-jun,Li Yong-ming.Valid Verification of Termination for Some Quantum Programs[J].Computer Science,2012,39(11):75-78 [18] 雷红轩,席政军,李永明.广义量子Loop程序的若干性质[J].电子学报,2013,41(4):727-732 Lei Hong-xuan,Xi Zheng-jun,Li Yong-ming.Some Properties of Generalized Quantum Loop Program[J].Acta Electronica Sinica,2013,41(4):727-732 [19] 雷红轩,席政军,李永明.量子最弱自由前置条件的交换性及其性质[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 |
No related articles found! |
|