{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T15:46:51Z","timestamp":1756309611552},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2009,7,31]],"date-time":"2009-07-31T00:00:00Z","timestamp":1248998400000},"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":[[2009,10]]},"DOI":"10.1007\/s00236-009-0100-0","type":"journal-article","created":{"date-parts":[[2009,7,30]],"date-time":"2009-07-30T04:57:33Z","timestamp":1248929853000},"page":"403-432","source":"Crossref","is-referenced-by-count":5,"title":["Reasoning about faulty quantum programs"],"prefix":"10.1007","volume":"46","author":[{"given":"Paolo","family":"Zuliani","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,7,31]]},"reference":[{"key":"100_CR1","doi-asserted-by":"crossref","unstructured":"Aharonov D., Kitaev A., Nisan N.: Quantum circuits with mixed states. In: STOC \u201998: Proceedings of the 30th Annual ACM Symposium on Theory of Computing, pp. 20\u201330 (1998)","DOI":"10.1145\/276698.276708"},{"key":"100_CR2","doi-asserted-by":"crossref","unstructured":"Altenkirch T., Grattage J.: A functional quantum programming language. In LICS \u201905: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, pp. 249\u2013258 (2005)","DOI":"10.1109\/LICS.2005.1"},{"key":"100_CR3","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1103\/PhysRevLett.49.91","volume":"49","author":"A. Aspect","year":"1982","unstructured":"Aspect A., Graingier P., Roger G.: Experimental realization of EPR Gedankenexperiment: a new violation of Bell\u2019s inequalities. Phys. Rev. Lett. 49, 91\u201394 (1982)","journal-title":"Phys. Rev. Lett."},{"key":"100_CR4","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195","volume":"1","author":"J.S. Bell","year":"1964","unstructured":"Bell J.S.: On the Einstein\u2013Podolsky\u2013Rosen paradox. Physics 1, 195\u2013200 (1964)","journal-title":"Physics"},{"issue":"20","key":"100_CR5","doi-asserted-by":"crossref","first-page":"2881","DOI":"10.1103\/PhysRevLett.69.2881","volume":"69","author":"C.H. Bennett","year":"1992","unstructured":"Bennett C.H., Wiesner S.J.: Communication via one- and two-particle operators on Einstein\u2013Podolsky\u2013Rosen states. Phys. Rev. Lett. 69(20), 2881\u20132884 (1992)","journal-title":"Phys. Rev. Lett."},{"key":"100_CR6","doi-asserted-by":"crossref","first-page":"880","DOI":"10.1103\/PhysRevLett.23.880","volume":"23","author":"J.F. Clauser","year":"1969","unstructured":"Clauser J.F., Horne M.A., Shimony A., Holt R.A.: Proposed experiment to test local hidden-variable theories. Phys. Rev. Lett. 23, 880\u2013884 (1969)","journal-title":"Phys. Rev. Lett."},{"key":"100_CR7","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1098\/rspa.1992.0167","volume":"A439","author":"D. Deutsch","year":"1992","unstructured":"Deutsch D., Jozsa R.: Rapid solution of problems by quantum computation. Proc. R. Soc. London A439, 553\u2013558 (1992)","journal-title":"Proc. R. Soc. London"},{"issue":"6","key":"100_CR8","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1103\/PhysRevLett.67.661","volume":"67","author":"A.K. Ekert","year":"1991","unstructured":"Ekert A.K.: Quantum cryptography based on Bell\u2019s theorem. Phys. Rev. Lett. 67(6), 661\u2013663 (1991)","journal-title":"Phys. Rev. Lett."},{"key":"100_CR9","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1038\/nphys1255","volume":"5","author":"A. Fedrizzi","year":"2009","unstructured":"Fedrizzi A. et\u00a0al.: High-fidelity transmission of entanglement over a high-loss freespace channel. Nat. Phys. 5, 389\u2013392 (2009)","journal-title":"Nat. Phys."},{"issue":"4","key":"100_CR10","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1017\/S0960129506005378","volume":"16","author":"S.J. Gay","year":"2006","unstructured":"Gay S.J.: Quantum programming languages: survey and bibliography. Math. Struct. Comput. Sci. 16(4), 581\u2013600 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"100_CR11","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0167-6423(96)00019-6","volume":"28","author":"J. He","year":"1997","unstructured":"He J., McIver A., Seidel K.: Probabilistic models for the guarded command language. Sci. Comput. Program. 28, 171\u2013192 (1997)","journal-title":"Sci. Comput. Program."},{"key":"100_CR12","volume-title":"Lectures on quantum theory","author":"C.J. Isham","year":"1997","unstructured":"Isham C.J.: Lectures on quantum theory. Imperial College Press, London (1997)"},{"key":"100_CR13","volume-title":"Abstraction, Refinement and Proof for Probabilistic Systems","author":"A. McIver","year":"2005","unstructured":"McIver A., Morgan C.C.: Abstraction, Refinement and Proof for Probabilistic Systems. Springer, Berlin (2005)"},{"issue":"3","key":"100_CR14","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/229542.229547","volume":"18","author":"C.C. Morgan","year":"1996","unstructured":"Morgan C.C., McIver A., Seidel K.: Probabilistic predicate transformers. ACM Trans. Program. Lang. Syst. 18(3), 325\u2013353 (1996)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"100_CR15","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":"100_CR16","volume-title":"Methods of Mathematical Physics. I. Functional Analysis","author":"M. Reed","year":"1972","unstructured":"Reed M., Simon B.: Methods of Mathematical Physics. I. Functional Analysis. Acamedic Press, Dublin (1972)"},{"key":"100_CR17","doi-asserted-by":"crossref","unstructured":"Sanders, J.W., Zuliani, P.: Quantum programming. In: MPC\u201900: Mathematics of Program Construction, Springer LNCS, vol. 1837, pp. 80\u201399 (2000)","DOI":"10.1007\/10722010_6"},{"issue":"4","key":"100_CR18","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(4), 527\u2013586 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"100_CR19","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1038\/nphys629","volume":"3","author":"R. Ursin","year":"2007","unstructured":"Ursin R. et\u00a0al.: Entanglement-based quantum communication over 144\u00a0km. Nat. Phys. 3, 481\u2013486 (2007)","journal-title":"Nat. Phys."},{"key":"100_CR20","volume-title":"Mathematical Foundations of Quantum Mechanics","author":"J. Neumann von","year":"1955","unstructured":"von Neumann J.: Mathematical Foundations of Quantum Mechanics. Princeton University Press, New Jersey (1955)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-009-0100-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-009-0100-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-009-0100-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T13:41:55Z","timestamp":1558705315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-009-0100-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,31]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2009,10]]}},"alternative-id":["100"],"URL":"https:\/\/doi.org\/10.1007\/s00236-009-0100-0","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,7,31]]}}}