{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T16:45:42Z","timestamp":1779209142967,"version":"3.51.4"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,4,24]],"date-time":"2010-04-24T00:00:00Z","timestamp":1272067200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1007\/s00236-010-0117-4","type":"journal-article","created":{"date-parts":[[2010,4,22]],"date-time":"2010-04-22T22:57:36Z","timestamp":1271977056000},"page":"221-250","source":"Crossref","is-referenced-by-count":35,"title":["Quantum loop programs"],"prefix":"10.1007","volume":"47","author":[{"given":"Mingsheng","family":"Ying","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,4,24]]},"reference":[{"key":"117_CR1","doi-asserted-by":"crossref","unstructured":"Aharonov, D., Ambainis, A., Kempe, J., Vazirani, U.: Quantum walks on graphs. In: Proceedings of the 30th Annual ACM Symposium on Theory of Computation, p. 50. ACM Press, New York (2001)","DOI":"10.1145\/380752.380758"},{"key":"117_CR2","unstructured":"Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society, Also arXiv:quant-ph\/0409065 (2005)"},{"key":"117_CR3","doi-asserted-by":"crossref","first-page":"3457","DOI":"10.1103\/PhysRevA.52.3457","volume":"52","author":"A. Barenco","year":"1995","unstructured":"Barenco A., Bennett C.H., Cleve R., DiVincenzo D.P., Margolus N., Shor P., Sleator T., Smolin J., Weinfurter H.: Phys. Rev. A 52, 3457\u20133467 (1995)","journal-title":"Phys. Rev. A"},{"key":"117_CR4","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1140\/epjd\/e2003-00242-2","volume":"25","author":"S. Betteli","year":"2003","unstructured":"Betteli S., Calarco T., Serafini L.: Toward an architecture for quantum programming. Eur. Phy. J. D 25, 181\u2013200 (2003) Also see: arXiv:cs.PL\/0103009 v2, Nov. 2001","journal-title":"Eur. Phy. J. D"},{"key":"117_CR5","doi-asserted-by":"crossref","unstructured":"Bernstein, E., Vazirani, U.: Quantum complexity theory. In: Proceedings of the 25th Annual ACM Symposium on Theory of Computing, pp. 11\u201322. ACM Press, New Ork (1993)","DOI":"10.1145\/167088.167097"},{"key":"117_CR6","doi-asserted-by":"crossref","first-page":"1411","DOI":"10.1137\/S0097539796300921","volume":"26","author":"E. Bernstein","year":"1997","unstructured":"Bernstein E., Vazirani U.: Quantum complexity theory. SIAM J. Comput. 26, 1411\u20131473 (1997)","journal-title":"SIAM J. Comput."},{"key":"117_CR7","volume-title":"Matrix analysis","author":"R. Bhatia","year":"1991","unstructured":"Bhatia R.: Matrix analysis. Springer, Berlin (1991)"},{"key":"117_CR8","doi-asserted-by":"crossref","unstructured":"D\u2019Hondt, E., Panangaden, P.: Quantum weakest preconditions. Math. Struct. Comput. Sci. (2006)","DOI":"10.1017\/S0960129506005251"},{"key":"117_CR9","volume-title":"A discipline of programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra E.W.: A discipline of programming. Prentice-Hall, NJ, USA (1976)"},{"key":"117_CR10","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.tcs.2007.06.011","volume":"386","author":"Y. Feng","year":"2005","unstructured":"Feng Y., Duan R., Ji Z., Ying M.: Proof rules for purely quantum programs. Theor. Comput. Sci. 386, 151\u2013166 (2005) Also see: arXiv:cs.PL\/0507043","journal-title":"Theor. Comput. Sci."},{"key":"117_CR11","doi-asserted-by":"crossref","first-page":"1608","DOI":"10.1016\/j.ic.2007.08.001","volume":"205","author":"Y. Feng","year":"2006","unstructured":"Feng Y., Duan R., Ji Z., Ying M.: Probabilistic bisimilarities between quantum processes. Inf. Comput. 205, 1608\u20131639 (2006) Also see: arXiv:cs.LO\/0601014","journal-title":"Inf. Comput."},{"key":"117_CR12","doi-asserted-by":"crossref","unstructured":"Gay, S.J.: Quantum programming languages: survey and bibliography. Math. Struct. Comput. Sci. 16(4) (2006) (in press)","DOI":"10.1017\/S0960129506005378"},{"key":"117_CR13","doi-asserted-by":"crossref","unstructured":"Gay, S.J., Nagarajan, R.: Communicating quantum processes. In: Proceedings of the 32nd ACM Symposium on Principles of Programming Languages (2005)","DOI":"10.1145\/1040305.1040318"},{"key":"117_CR14","doi-asserted-by":"crossref","unstructured":"Gay, S.J., Nagarajan, R.: Typechecking communicating quantum processes. Math. Struct. Comput. Sci. (2006) (in press)","DOI":"10.1017\/S0960129506005263"},{"key":"117_CR15","doi-asserted-by":"crossref","unstructured":"Grover, L.: A fast quantum mechanical algorithm for database search. In: Proceedings, 28th Annual ACM Symposium on the Theory of Computing, pp. 212\u2013219. ACM Press, New York (1996)","DOI":"10.1145\/237814.237866"},{"key":"117_CR16","doi-asserted-by":"crossref","unstructured":"Jorrand, P., Lalire, M.: Toward a quantum process algebra. In: Proceedings of the 1st ACM Conference on Computing Frontier, ACM Press, Also see: arXiv: quant-ph\/0312067. (2004)","DOI":"10.1145\/977091.977108"},{"key":"117_CR17","volume-title":"Finite Markov chains","author":"J. Kemeny","year":"1983","unstructured":"Kemeny J., Snell J.: Finite Markov chains. Springer, Berlin (1983)"},{"key":"117_CR18","doi-asserted-by":"crossref","unstructured":"Knill, E.H.: Conventions for quantum pseudocode, LANL Report, LAUR-96-2724 (1996)","DOI":"10.2172\/366453"},{"key":"117_CR19","unstructured":"Lalire, M., Jorrand, P.: A process algebraic approach to concurrent and distributed quantum computation: operational semantics. In: Proceedings of the 2nd International Workshop on Quantum Programming Languages, July 12\u201313, Turku, Finland (2004)"},{"key":"117_CR20","volume-title":"Quantum computation and quantum information","author":"M.A. Nielsen","year":"2000","unstructured":"Nielsen M.A., Chuang I.L.: Quantum computation and quantum information. Cambridge University Press, Cambridge (2000)"},{"key":"117_CR21","unstructured":"\u00d6mer, B.: A procedural formalism for quantum computing. Master\u2019s thesis, Department of theoretical Physics, Technical University of Vienna, July 1998. http:\/\/tph.tuwien.ac.at\/~oemer\/qcl.html (1998)"},{"key":"117_CR22","unstructured":"\u00d6mer, B.: Structured quantum programming. Ph.D thesis, Technical University of Vienna (2003)"},{"key":"117_CR23","doi-asserted-by":"crossref","unstructured":"Sanders, J.W., Zuliani, P.: Quantum programming. In: Proceedings, Mathematics of Program Construction 2000, LNCS 1837, pp. 80\u201399 (2000)","DOI":"10.1007\/10722010_6"},{"key":"117_CR24","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1017\/S0960129504004256","volume":"14","author":"P. Selinger","year":"2004","unstructured":"Selinger P.: Towards a quantum programming language. Math. Struct. Comput. Sci 14, 527\u2013586 (2004)","journal-title":"Math. Struct. Comput. Sci"},{"key":"117_CR25","doi-asserted-by":"crossref","unstructured":"Selinger, P.: A brief survey of quantum programming languages. In: Proceedings of the 7th International Symposium on Functional and Logic Programming, Nara, Japan, LNCS 2998, pp. 1\u20136, Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-24754-8_1"},{"key":"117_CR26","doi-asserted-by":"crossref","unstructured":"Shor, P.W.: Algorithms for quantum computation: discrete logarithms and factoring. In: Proceedings, 35th Annual Symposium on Foundations of Computer Science, pp. 124\u2013134, IEEE Press, Los Alamitos, CA (1994)","DOI":"10.1109\/SFCS.1994.365700"},{"key":"117_CR27","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/j.ipl.2007.06.003","volume":"104","author":"M.S. Ying","year":"2007","unstructured":"Ying M.S., Chen J.X., Feng Y., Duan R.Y.: Commutativity of quantum weakest preconditions. Inf. Process. Lett. 104, 152\u2013158 (2007)","journal-title":"Inf. Process. Lett."},{"key":"117_CR28","doi-asserted-by":"crossref","unstructured":"Ying, M.S., Feng, Y., Duan, R.Y., Ji, Z.F.: An algebra of quantum processes. ACM Trans. Comput. Log. 10 (2009)","DOI":"10.1145\/1507244.1507249"},{"key":"117_CR29","doi-asserted-by":"crossref","unstructured":"Ying, M.S., Duan, R.Y., Feng, Y., Ji, Z.F.: Predicate transformer semantics of quantum programs. In: Gay, S., Mackie, I. (eds.) Semantic techniques in quantum computation. Cambridge University Press, pp. 311\u2013360 (2010)","DOI":"10.1017\/CBO9781139193313.009"},{"key":"117_CR30","unstructured":"Zuliani, P.: Quantum programming. Ph.D thesis, Oxford University (2001)"},{"key":"117_CR31","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/s00236-005-0165-3","volume":"41","author":"P. Zuliani","year":"2005","unstructured":"Zuliani P.: Compiling quantum program. Acta Inform 41, 435\u2013474 (2005)","journal-title":"Acta Inform"},{"key":"117_CR32","unstructured":"Zuliani, P.: Quantum programming with mixed states. In: Proceedings of the 3rd International Workshop on Quantum Programming Languages, June 30-July 1, Chicago (2005)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-010-0117-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-010-0117-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-010-0117-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T17:08:22Z","timestamp":1559063302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-010-0117-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,24]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["117"],"URL":"https:\/\/doi.org\/10.1007\/s00236-010-0117-4","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4,24]]}}}