{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:10:30Z","timestamp":1774415430090,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540356318","type":"print"},{"value":"9783540356325","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11783596_25","type":"book-chapter","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T10:35:02Z","timestamp":1151490902000},"page":"433-454","source":"Crossref","is-referenced-by-count":8,"title":["Quantum Predicative Programming"],"prefix":"10.1007","author":[{"given":"Anya","family":"Tafliovich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric C. R.","family":"Hehner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Knill, E.: Conventions for quantum pseudocode. Techn. Report LAUR-96-2724. Los Alamos National Laboratory (1996)","DOI":"10.2172\/366453"},{"key":"25_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8596-5","volume-title":"A Practical Theory of Programming","author":"E. Hehner","year":"1993","unstructured":"Hehner, E.: A Practical Theory of Programming. Springer, Heidelberg (1993), New edition available free at: \n                    \n                      http:\/\/www.cs.utoronto.ca\/~hehner\/aPToP\/"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-27764-4_10","volume-title":"Mathematics of Program Construction","author":"E.C.R. Hehner","year":"2004","unstructured":"Hehner, E.C.R.: Probabilistic predicative programming. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 169\u2013185. Springer, Heidelberg (2004)"},{"key":"25_CR4","unstructured":"\u00d6mer, B.: Quantum programming in QCL. Master\u2019s thesis. TU Vienna (2000)"},{"issue":"2","key":"25_CR5","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1140\/epjd\/e2003-00242-2","volume":"25","author":"S. Bettelli","year":"2003","unstructured":"Bettelli, S., Calarco, T., Serafini, L.: Toward an architecture for quantum programming. European Physical J. D\u00a025(2), 181\u2013200 (2003)","journal-title":"European Physical J. D"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/10722010_6","volume-title":"Mathematics of Program Construction","author":"J.W. Sanders","year":"2000","unstructured":"Sanders, J.W., Zuliani, P.: Quantum programming. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol.\u00a01837, pp. 80\u201399. Springer, Heidelberg (2000)"},{"key":"25_CR7","first-page":"14","volume":"22","author":"C. Morgan","year":"1999","unstructured":"Morgan, C., McIver, A.: pQCL: formal reasoning for random algorithms. South African Computer J.\u00a022, 14\u201327 (1999)","journal-title":"South African Computer J."},{"key":"25_CR8","unstructured":"Zuliani, P.: Non-deterministic quantum programming. In: QPL 2004, pp. 179\u2013195 (2004)"},{"key":"25_CR9","unstructured":"Zuliani, P.: Quantum programming with mixed states. In: QPL 2005 (2005)"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/276698.276708","volume-title":"Proc. of 30th Ann. ACM Symp. on Theory of Computing, STOC 1998","author":"D. Aharonov","year":"1998","unstructured":"Aharonov, D., Kitaev, A., Nisan, N.: Quantum circuits with mixed states. In: Proc. of 30th Ann. ACM Symp. on Theory of Computing, STOC 1998, pp. 20\u201330. ACM Press, New York (1998)"},{"issue":"7-8","key":"25_CR11","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/s00236-005-0165-3","volume":"41","author":"P. Zuliani","year":"2005","unstructured":"Zuliani, P.: Compiling quantum programs. Acta Inform.\u00a041(7-8), 435\u2013474 (2005)","journal-title":"Acta Inform."},{"issue":"3","key":"25_CR12","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1145\/319301.319303","volume":"21","author":"M.J. Butler","year":"1999","unstructured":"Butler, M.J., Hartel, P.H.: Reasoning about grover\u2019s quantum search algorithm using probabilistic wp. ACM Trans. on Program. Lang. and Syst.\u00a021(3), 417\u2013429 (1999)","journal-title":"ACM Trans. on Program. Lang. and Syst."},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Boyer, M., Brassard, G., H\u00f8yer, P., Tapp, A.: Tight bounds on quantum searching. In: Fortschritte der Physik, pp. 493\u2013506 (1998)","DOI":"10.1002\/(SICI)1521-3978(199806)46:4\/5<493::AID-PROP493>3.0.CO;2-P"},{"key":"25_CR14","unstructured":"Adao, P., Mateus, P.: A process algebra for reasoning about quantum security. In: QPL 2005 (2005)"},{"key":"25_CR15","unstructured":"Lalire, M., Jorrand, P.: A process algebraic approach to concurrent and distributed quantum computation: operational semantics. In: QPL 2004, pp. 109\u2013126 (2004)"},{"key":"25_CR16","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/977091.977108","volume-title":"Proc. of 1st ACM Conf. on Computing Frontiers","author":"P. Jorrand","year":"2004","unstructured":"Jorrand, P., Lalire, M.: Toward a quantum process algebra. In: Proc. of 1st ACM Conf. on Computing Frontiers, pp. 111\u2013119. ACM Press, New York (2004)"},{"key":"25_CR17","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1109\/LICS.2004.1319635","volume-title":"Proc. of 19th Ann. IEEE Symp. on Logic in Computer Science, LICS 2004","author":"S. Abramsky","year":"2004","unstructured":"Abramsky, S.: High-level methods for quantum computation and information. In: Proc. of 19th Ann. IEEE Symp. on Logic in Computer Science, LICS 2004, pp. 410\u2013414. IEEE Comput. Soc. Press, Los Alamitos (2004)"},{"key":"25_CR18","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1109\/LICS.2004.1319636","volume-title":"Proc. of 19th Ann. IEEE Symp. on Logic in Computer Science, LICS 2004","author":"S. Abramsky","year":"2004","unstructured":"Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proc. of 19th Ann. IEEE Symp. on Logic in Computer Science, LICS 2004, pp. 415\u2013425. IEEE Comput. Soc. Press, Los Alamitos (2004)"},{"key":"25_CR19","unstructured":"Abramsky, S., Duncan, R.: A categorical quantum logic. In: QPL 2004, pp. 3\u201320 (2004)"},{"key":"25_CR20","unstructured":"Coecke, B.: The logic of entanglement. quant-ph\/0402014 (2004)"},{"issue":"4","key":"25_CR21","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0960129504004256","volume":"14","author":"P. Selinger","year":"2004","unstructured":"Selinger, P.: Towards a quantum programming language. Math. Struct. in Comput. Sci.\u00a014(4), 527\u2013586 (2004)","journal-title":"Math. Struct. in Comput. Sci."},{"key":"25_CR22","unstructured":"Arrighi, P., Dowek, G.: Operational semantics for formal tensorial calculus. In: QPL 2004, pp. 21\u201338 (2004)"},{"key":"25_CR23","unstructured":"Arrighi, P., Dowek, G.: Linear-algebraic lambda-calculus. In: QPL 2005 (2005)"},{"key":"25_CR24","first-page":"249","volume-title":"Proc. of 20th Ann. IEEE Symp. on Logic in Computer Science, LICS 2005","author":"T. Altenkirch","year":"2005","unstructured":"Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proc. of 20th Ann. IEEE Symp. on Logic in Computer Science, LICS 2005, pp. 249\u2013258. IEEE Comput. Soc. Press, Los Alamitos (2005)"},{"key":"25_CR25","unstructured":"Altenkirch, T., Grattage, J., Vizzotto, J.K., Sabry, A.: An algebra of pure quantum programming. In: QPL 2005 (2005)"},{"key":"25_CR26","unstructured":"D\u2019Hondt, E., Panangaden, P.: Quantum weakest precondition. In: QPL 2004, pp. 75\u201390 (2004)"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"D\u2019Hondt, E., Panangaden, P.: Reasoning about quantum knowledge. quant-ph\/0507176 (2005)","DOI":"10.1007\/11590156_45"},{"key":"25_CR28","unstructured":"Danos, V., D\u2019Hondt, E., Kashefi, E., Panangaden, P.: Distributed measurement-based quantum computation. In: QPL 2005 (2005)"},{"key":"25_CR29","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/1040305.1040318","volume-title":"Proc. of 32nd ACM SIGACT-SIGPLAN Symp. on Principles of Programming Languages, POPL 2005","author":"S.J. Gay","year":"2005","unstructured":"Gay, S.J., Nagarajan, R.: Communicating quantum processes. In: Proc. of 32nd ACM SIGACT-SIGPLAN Symp. on Principles of Programming Languages, POPL 2005, pp. 145\u2013157. ACM Press, New York (2005)"},{"key":"25_CR30","unstructured":"Selinger, P.: Towards a semantics for higher-order quantum computation. In: QPL 2004 (2004)"},{"key":"25_CR31","unstructured":"Valiron, B.: Quantum typing. In: QPL 2004, pp. 163\u2013178 (2004)"},{"issue":"5","key":"25_CR32","doi-asserted-by":"publisher","first-page":"1109","DOI":"10.1137\/S0097539703432165","volume":"33","author":"A. Tonder van","year":"2004","unstructured":"van Tonder, A.: A lambda calculus for quantum computation. SIAM J. of Computing\u00a033(5), 1109\u20131135 (2004)","journal-title":"SIAM J. of Computing"},{"key":"25_CR33","first-page":"175","volume-title":"Proc. of 1984 IEEE Int. Conf. on Computers, Systems and Signal Processing","author":"C.H. Bennet","year":"1984","unstructured":"Bennet, C.H., Brassard, G.: Quantum cryptography: Public key distribution and coin tossing. In: Proc. of 1984 IEEE Int. Conf. on Computers, Systems and Signal Processing, pp. 175\u2013179. IEEE, Los Alamitos (1984)"},{"key":"25_CR34","doi-asserted-by":"crossref","unstructured":"Yimsiriwattana, A., Lomonaco Jr., S.J.: Distributed quantum computing: A distributed Shor algorithm (2004), \n                    \n                      http:\/\/arxiv.org\/abs\/quant-ph\/0403146v1","DOI":"10.1117\/12.546504"},{"key":"25_CR35","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":"25_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11768173_1","volume-title":"Unifying Theories of Programming","author":"E.C.R. Hehner","year":"2006","unstructured":"Hehner, E.C.R.: Retrospective and prospective for unifying theories of programming. In: Dunne, S., Stoddart, B. (eds.) UTP 2006. LNCS, vol.\u00a04010, pp. 1\u201317. Springer, Heidelberg (to appear, 2006)"},{"key":"25_CR37","unstructured":"Tafliovich, A.: Quantum programming. Master\u2019s thesis, University of Toronto (2004)"},{"key":"25_CR38","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1098\/rspa.1985.0070","volume":"400","author":"D. Deutsch","year":"1985","unstructured":"Deutsch, D.: Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. of Royal Society of London A\u00a0400, 97\u2013117 (1985)","journal-title":"Proc. of Royal Society of London A"},{"key":"25_CR39","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1098\/rspa.1992.0167","volume":"439","author":"D. Deutsch","year":"1992","unstructured":"Deutsch, D., Jozsa, R.: Rapid solution of problems by quantum computation. Proc. of Royal Society of London A\u00a0439, 553\u2013558 (1992)","journal-title":"Proc. of Royal Society of London A"},{"key":"25_CR40","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1098\/rspa.1998.0163","volume":"454","author":"R. Jozsa","year":"1998","unstructured":"Jozsa, R.: Quantum algorithms and the Fourier transform. Proc. of Royal Society of London A\u00a0454, 323\u2013337 (1998)","journal-title":"Proc. of Royal Society of London A"},{"key":"25_CR41","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1145\/237814.237866","volume-title":"Proc. of 28th Ann. ACM Symp. on Theory of Computing, STOC 1996","author":"L.K. Grover","year":"1996","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proc. of 28th Ann. ACM Symp. on Theory of Computing, STOC 1996, pp. 212\u2013219. ACM Press, New York (1996)"},{"issue":"2","key":"25_CR42","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/992287.992296","volume":"35","author":"A. Ambainis","year":"2004","unstructured":"Ambainis, A.: Quantum search algorithms. SIGACT News\u00a035(2), 22\u201335 (2004)","journal-title":"SIGACT News"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11783596_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:07:53Z","timestamp":1605625673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11783596_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356318","9783540356325"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/11783596_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}