{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T02:30:04Z","timestamp":1784255404229,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540677277","type":"print"},{"value":"9783540450252","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722010_6","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T20:37:21Z","timestamp":1167424641000},"page":"80-99","source":"Crossref","is-referenced-by-count":57,"title":["Quantum Programming"],"prefix":"10.1007","author":[{"given":"J. W.","family":"Sanders","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Zuliani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Baker, G.: http:\/\/www.ics.mq.edu.au\/~gregb\/q-gol"},{"issue":"5","key":"6_CR2","doi-asserted-by":"publisher","first-page":"3457","DOI":"10.1103\/PhysRevA.52.3457","volume":"52","author":"A. Barenco","year":"1995","unstructured":"Barenco, A., et al.: Elementary gates of quantum computation. Physical Review A\u00a052(5), 3457\u20133467 (1995)","journal-title":"Physical Review A"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1098\/rspa.1995.0066","volume":"449","author":"A. Barenco","year":"1995","unstructured":"Barenco, A.: A universal two-bit gate for quantum computation. Proc. R. Soc. Lond. A\u00a0449, 679\u2013683 (1995)","journal-title":"Proc. R. Soc. Lond. A"},{"key":"6_CR4","unstructured":"Boyer, M., Brassard, G., Hoyer, P., Tapp, A.: Tight bounds on quantum searching. In: Toffoli, T., Biaford, M., Lean, J. (eds.) Fourth Workshop on Physics and Computation, New England Complex System Institute, pp. 36\u201343 (1996)"},{"key":"6_CR5","unstructured":"Butler, M., Hartel, P.: Reasoning about Grover\u2019s quantum search algorithm using probabilistic wp. University of Southampton technical report DSSETR- 98-10 (1998)"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1098\/rspa.1998.0164","volume":"454","author":"R. Cleve","year":"1998","unstructured":"Cleve, R., Ekert, A., Macchiavello, C., Mosca, M.: Quantum algorithms revisited. Proc. R. Soc. Lond., A.\u00a0454, 339\u2013354 (1998)","journal-title":"Proc. R. Soc. Lond., A."},{"key":"6_CR7","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. R. Soc. Lond. A\u00a0400, 97\u2013117 (1985)","journal-title":"Proc. R. Soc. Lond. A"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1098\/rspa.1989.0099","volume":"425","author":"D. Deutsch","year":"1989","unstructured":"Deutsch, D.: Quantum computational networks. Proc. R. Soc. Lond. A\u00a0425, 73\u201390 (1989)","journal-title":"Proc. R. Soc. Lond. A"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1098\/rspa.1995.0065","volume":"449","author":"D. Deutsch","year":"1995","unstructured":"Deutsch, D., Barenco, A., Ekert, A.: Universality in quantum computation. Proc. R. Soc. Lond. A\u00a0449, 669\u2013677 (1995)","journal-title":"Proc. R. Soc. Lond. A"},{"key":"6_CR10","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. R. Soc. Lond. A\u00a0439, 553\u2013558 (1992)","journal-title":"Proc. R. Soc. Lond. A,"},{"key":"6_CR11","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall International, Englewood Cliffs (1976)"},{"issue":"7","key":"6_CR12","doi-asserted-by":"publisher","first-page":"987","DOI":"10.1007\/BF00736012","volume":"32","author":"A.C. Elitzur","year":"1993","unstructured":"Elitzur, A.C., Vaidman, L.: Quantum mechanical interaction-free measurements. Foundations of Physics\u00a032(7), 987\u2013997 (1993)","journal-title":"Foundations of Physics"},{"key":"6_CR13","volume-title":"The Feynman Lectures on Physics","author":"R.P. Feynman","year":"1964","unstructured":"Feynman, R.P.: The Feynman Lectures on Physics, vol.\u00a03. Addison-Wesley, Reading (1964)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proceedings of the 28th ACM STOC, pp. 212\u2013219 (1996)","DOI":"10.1145\/237814.237866"},{"key":"6_CR15","series-title":"Advanced Topics in Computer Science","volume-title":"Quantum Computing","author":"J. Gruska","year":"1999","unstructured":"Gruska, J.: Quantum Computing. Advanced Topics in Computer Science. McGraw-Hill International, UK (1999)"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0167-6423(96)00019-6","volume":"28","author":"H. Jifeng","year":"1997","unstructured":"Jifeng, H., Seidel, K., McIver, A.K.: Probabilistic models for the guarded command language. Science of Computer Programming\u00a028, 171\u2013192 (1997)","journal-title":"Science of Computer Programming,"},{"key":"6_CR17","first-page":"51","volume":"IX","author":"C.A.R. Hoare He Jifeng","year":"1986","unstructured":"Hoare He Jifeng, C.A.R.: The weakest prespecification. parts I and II. Fundamenta Informatica\u00a0IX, 51\u201384 (1986)","journal-title":"parts I and II. Fundamenta Informatica"},{"key":"6_CR18","doi-asserted-by":"crossref","DOI":"10.1142\/p001","volume-title":"Lectures on Quantum Theory","author":"C.J. Isham","year":"1995","unstructured":"Isham, C.J.: Lectures on Quantum Theory. Imperial College Press, London (1995)"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1098\/rspa.1991.0161","volume":"435","author":"R. Josza","year":"1991","unstructured":"Josza, R.: Characterising classes of functions computable by quantum parallelism. Proc. R. Soc. Lond. A\u00a0435, 563\u2013574 (1991)","journal-title":"Proc. R. Soc. Lond. A"},{"key":"6_CR20","volume-title":"Programming from Specifications","author":"C. Morgan","year":"1994","unstructured":"Morgan, C.: Programming from Specifications, 2nd edn. Prentice-Hall International, Englewood Cliffs (1994)","edition":"2"},{"key":"6_CR21","unstructured":"Seidel, K., Morgan, C.C., McIver, A.K.: Probabilistic imperative programming: a rigorous approach (1996), Available at http:\/\/www.comlab.ox.ac.uk\/oucl\/research\/areas\/probs\/bibliography.html"},{"issue":"3","key":"6_CR22","first-page":"325","volume":"18","author":"C. Morgan","year":"1996","unstructured":"Morgan, C., McIver, A., Seidel, K.: Annabelle McIver and Karen Seidel. Probabilistic predicate transformers. TOPLAS\u00a018(3), 325\u2013353 (1996)","journal-title":"Probabilistic predicate transformers. TOPLAS"},{"key":"6_CR23","first-page":"14","volume":"22","author":"C. Morgan","year":"1999","unstructured":"Morgan, C., McIver, A.: pGCL: formal reasoning for random algorithms. South African Computer Journal\u00a022, 14\u201327 (1999)","journal-title":"South African Computer Journal"},{"key":"6_CR24","unstructured":"Morgan, C., McIver, A.K.: Demonic, angelic and unbounded probabilistic choices in sequential programs. To appear in Acta Informatica; see the site at [23]"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-49208-9_15","volume-title":"Quantum Computing and Quantum Communications","author":"M. Mosca","year":"1999","unstructured":"Mosca, M., Ekert, A.: The hidden subgroup problem and eigenvalue estimation on a quantum computer. In: Williams, C.P. (ed.) QCQC 1998. LNCS, vol.\u00a01509, p. 174. Springer, Heidelberg (1999)"},{"key":"6_CR26","unstructured":"\u00d6mer, B.: http:\/\/tph.tuwien.ac.at\/oemer"},{"key":"6_CR27","volume-title":"Quantum Theory: Concepts and Methods","author":"A. Peres","year":"1998","unstructured":"Peres, A.: Quantum Theory: Concepts and Methods. Kluwer Academic Publishers, Dordrecht (1998)"},{"issue":"4","key":"6_CR28","doi-asserted-by":"publisher","first-page":"2738","DOI":"10.1103\/PhysRevA.51.2738","volume":"51","author":"B. Schumacher","year":"1995","unstructured":"Schumacher, B.: Quantum coding. Physical Review A\u00a051(4), 2738\u20132747 (1995)","journal-title":"Physical Review A"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Shor, P.W.: Algorithms for quantum computation: discrete log and factoring. In: Proceedings of the 35th IEEE FOCS, pp. 124\u2013134 (1994)","DOI":"10.1109\/SFCS.1994.365700"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Simon, D.R.: On the power of quantum computation. In: Proceedings of the 35th IEEE FOCS, pp. 116\u2013123 (1994)","DOI":"10.1109\/SFCS.1994.365701"},{"key":"6_CR31","volume-title":"Explorations in Quantum Computing","author":"C.P. Williams","year":"1998","unstructured":"Williams, C.P., Clearwater, S.H.: Explorations in Quantum Computing. Springer, New York (1998)"},{"key":"6_CR32","unstructured":"Zuliani, P.: DPhil Thesis. Oxford University. (in preparation)"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722010_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T19:01:23Z","timestamp":1736708483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722010_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677277","9783540450252"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/10722010_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}