{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:10:29Z","timestamp":1774415429750,"version":"3.50.1"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2005,5,24]],"date-time":"2005-05-24T00:00:00Z","timestamp":1116892800000},"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":[[2005,6]]},"DOI":"10.1007\/s00236-005-0165-3","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T16:42:52Z","timestamp":1117039372000},"page":"435-474","source":"Crossref","is-referenced-by-count":19,"title":["Compiling quantum programs"],"prefix":"10.1007","volume":"41","author":[{"given":"Paolo","family":"Zuliani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"165_CR1","doi-asserted-by":"crossref","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. Roy. Soc. Lond. A 449, 679\u2013683 (1995)","journal-title":"Proc. Roy. Soc. Lond. A"},{"issue":"5","key":"165_CR2","doi-asserted-by":"crossref","first-page":"3457","DOI":"10.1103\/PhysRevA.52.3457","volume":"52","author":"A. Barenco","year":"1995","unstructured":"Barenco, A. et al.: Elementary gates for quantum computation. Phys. Rev. A 52(5), 3457\u20133467 (1995)","journal-title":"Phys. Rev. A"},{"issue":"2","key":"165_CR3","doi-asserted-by":"crossref","first-page":"1034","DOI":"10.1103\/PhysRevA.54.1034","volume":"54","author":"D. Beckman","year":"1996","unstructured":"Beckman, D., Chari, A., Devabhaktuni, S., Preskill, J.: Efficient networks for quantum factoring. Phys. Rev. A 54(2), 1034 (1996)","journal-title":"Phys. Rev. A"},{"key":"165_CR4","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-444-89901-9.50019-7","volume-title":"Towards Verified Systems, Chap. 10","author":"J. Bowen","year":"1994","unstructured":"Bowen, J., Jifeng, H., Page, I.: Hardware compilation. In: Bowen, J. (ed.), Towards Verified Systems, Chap. 10, pp. 193\u2013207. Elsevier, Amsterdam (1994)"},{"key":"165_CR5","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1098\/rspa.1989.0099","volume":"425","author":"D. Deutsch","year":"1989","unstructured":"Deutsch, D.: Quantum computational networks. Proc. Roy. Soc. Lond. A 425, 73\u201390 (1989)","journal-title":"Proc. Roy. Soc. Lond. A"},{"key":"165_CR6","doi-asserted-by":"crossref","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. Roy. Soc. Lond. A 449, 669\u2013677 (1995)","journal-title":"Proc. Roy. Soc. Lond. A"},{"key":"165_CR7","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and the formal derivation of programs. CACM 18, 453\u2013457 (1975)","journal-title":"CACM"},{"issue":"6\/7","key":"165_CR8","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"R.P. Feynman","year":"1982","unstructured":"Feynman, R.P.: Simulating physics with computers. Int. J. Theor. Phys. 21(6\/7), 467\u2013488 (1982)","journal-title":"Int. J. Theor. Phys."},{"issue":"6","key":"165_CR9","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/BF01886518","volume":"16","author":"R.P. Feynman","year":"1986","unstructured":"Feynman, R.P.: Quantum mechanical computers. Found. Phys. 16(6), 507\u2013531 (1986)","journal-title":"Found. Phys."},{"key":"165_CR10","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1007\/BF01191809","volume":"30","author":"C. Hoare","year":"1993","unstructured":"Hoare, C., Jifeng, H., Sampaio, A.: Normal form approach to compiler design. Acta Inform. 30, 701\u2013739 (1993)","journal-title":"Acta Inform."},{"key":"165_CR11","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":"165_CR12","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0167-6423(96)00019-6","volume":"28","author":"H. Jifeng","year":"1997","unstructured":"Jifeng, H., McIver, A., Seidel, K.: Probabilistic models for the guarded command language. Sci. Comput. Progr. 28, 171\u2013192 (1997)","journal-title":"Sci. Comput. Progr."},{"key":"165_CR13","unstructured":"McIver, A., Morgan, C.: Partial correctness for probabilistic demonic programs. Technical report, Oxford University Computing Laboratory. Acta Inform. (in press)"},{"key":"165_CR14","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1098\/rspa.2000.0714","volume":"457","author":"G. Mitchison","year":"2001","unstructured":"Mitchison, G., Jozsa, R.: Counterfactual computation. Proc. Roy. Soc. Lond. A 457, 1175\u20131193 (2001)","journal-title":"Proc. Roy. Soc. Lond. A"},{"key":"165_CR15","volume-title":"Programming from Specifications","author":"C. Morgan","year":"1994","unstructured":"Morgan, C.: Programming from Specifications. Prentice-Hall, Englewood Cliffs, NJ (1994)"},{"key":"165_CR16","first-page":"14","volume":"22","author":"C. Morgan","year":"1999","unstructured":"Morgan, C., McIver, A.: pGCL: formal reasoning for random algorithms. South African Comput. J. 22, 14\u201327 (1999)","journal-title":"South African Comput. J."},{"issue":"3","key":"165_CR17","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/229542.229547","volume":"18","author":"C. Morgan","year":"1996","unstructured":"Morgan, C., McIver, A., Seidel, K.: Probabilistic predicate transformers. ACM Trans. Progr. Lang. Sys. 18(3), 325\u2013353 (1996)","journal-title":"ACM Trans. Progr. Lang. Sys."},{"key":"165_CR18","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)"},{"issue":"1","key":"165_CR19","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF00936948","volume":"12","author":"I. Page","year":"1996","unstructured":"Page, I.: Constructing hardware-software systems from a single description. J. VLSI Signal Process. 12(1), 87\u2013107 (1996)","journal-title":"J. VLSI Signal Process"},{"key":"165_CR20","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, New York (1972)"},{"key":"165_CR21","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/10722010_6","volume":"1837","author":"J.W. Sanders","year":"2000","unstructured":"Sanders, J.W., Zuliani, P.: Quantum Programming. Math. Progr. Construct. Springer LNCS 1837, 80\u201399 (2000)","journal-title":"Math. Progr. Construct. Springer LNCS"},{"issue":"4","key":"165_CR22","doi-asserted-by":"crossref","first-page":"2738","DOI":"10.1103\/PhysRevA.51.2738","volume":"51","author":"B. Schumacher","year":"1995","unstructured":"Schumacher, B.: Quantum coding. Phys. Rev. A 51(4), 2738\u20132747 (1995)","journal-title":"Phys. Rev. A"},{"key":"165_CR23","volume-title":"Mathematical Foundations of Quantum Mechanics","author":"J. von Neumann","year":"1955","unstructured":"von Neumann, J.: Mathematical Foundations of Quantum Mechanics. Princeton University Press, Princeton, NJ (1955)"},{"issue":"5886","key":"165_CR24","doi-asserted-by":"crossref","first-page":"802","DOI":"10.1038\/299802a0","volume":"299","author":"W.K. Wootters","year":"1982","unstructured":"Wootters, W.K., Zurek, W.H.: A single quantum cannot be cloned. Nature 299(5886), 802\u2013803 (1982)","journal-title":"Nature"},{"key":"165_CR25","doi-asserted-by":"crossref","DOI":"10.1090\/mmono\/108","volume-title":"Tensor Spaces and Exterior Algebra","author":"T. Yokonuma","year":"1992","unstructured":"Yokonuma, T.: Tensor Spaces and Exterior Algebra. American Mathematical Society, Providence, RI (1992)"},{"key":"165_CR26","unstructured":"Zuliani, P.: Formal reasoning for quantum mechanical nonlocality. Technical Report RR-01-05, Oxford University Computing Laboratory (in press). Available at http:\/\/web.comlab.ox.ac.uk\/oucl\/research\/areas\/probs\/bibliography.html"},{"issue":"6","key":"165_CR27","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1147\/rd.456.0807","volume":"45","author":"P. Zuliani","year":"2001","unstructured":"Zuliani, P.: Logical reversibility. IBM J. Res. Dev. 45(6), 807\u2013818 (2001)","journal-title":"IBM J. Res. Dev."},{"key":"165_CR28","unstructured":"Zuliani, P.: Quantum Programming. PhD Thesis, Oxford University Computing Laboratory (2001). Available at http:\/\/www.comlab.ox.ac.uk"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-005-0165-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-005-0165-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-005-0165-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:41:52Z","timestamp":1558690912000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-005-0165-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,24]]},"references-count":28,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["165"],"URL":"https:\/\/doi.org\/10.1007\/s00236-005-0165-3","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,5,24]]}}}