{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T13:31:41Z","timestamp":1762003901784},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2006,9,16]],"date-time":"2006-09-16T00:00:00Z","timestamp":1158364800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Informatik Forsch. Entw."],"published-print":{"date-parts":[[2006,10,5]]},"DOI":"10.1007\/s00450-006-0012-y","type":"journal-article","created":{"date-parts":[[2006,9,15]],"date-time":"2006-09-15T11:28:18Z","timestamp":1158319698000},"page":"55-63","source":"Crossref","is-referenced-by-count":10,"title":["Quantum programming languages"],"prefix":"10.1007","volume":"21","author":[{"given":"Dominique","family":"Unruh","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"12_CR1","unstructured":"Arrighi P, Dowek G (2004) Operational semantics for formal tensorial calculus. In: Selinger P (ed) 2nd International Workshop on Quantum Programming Languages, pp 21\u201338. Online available at http:\/\/quasar.mathstat.uottawa.ca\/\u223cselinger\/qpl2004\/PDFS\/03Arrighi-Dowe k.pdf"},{"issue":"1","key":"12_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T Bolognesi","year":"1987","unstructured":"Bolognesi T, Brinksma E (1987) Introduction to the ISO specification language Lotos. Comput Netw ISDN Syst 14(1):25\u201359. Online available at http:\/\/lotos.site.uottawa.ca\/ftp\/pub\/Lotos\/Intro\/BB-LotosTutorial.pdf","journal-title":"Comput Netw ISDN Syst"},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1140\/epjd\/e2003-00242-2","volume":"25","author":"S Bettelli","year":"2003","unstructured":"Bettelli S, Calarco T, Serafini L (2003) Toward an architecture for quantum programming. Eur Phys J D 25:181\u2013200. Online available at http:\/\/www.edpsciences.org\/articles\/epjd\/abs\/2003\/09\/d02124\/d02124.html","journal-title":"Eur Phys J D"},{"key":"12_CR4","unstructured":"Bettelli SA (2002) Repository for an implementation of the Q language. http:\/\/sra.itc.it\/people\/serafini\/qlang\/"},{"key":"12_CR5","unstructured":"Ben-Or M, Mayers D (2004) General security definition and composability for quantum & classical protocols. September 2004. Online available at http:\/\/xxx.lanl.gov\/abs\/quant-ph\/0409062"},{"key":"12_CR6","unstructured":"Backes M, Pfitzmann B, Waidner M (2004) Secure asynchronous reactive systems. IACR ePrint Archive, March 2004. Online available at http:\/\/eprint.iacr.org\/2004\/082.ps"},{"key":"12_CR7","unstructured":"Baltag A, Smets S (2004) The logic of quantum programs. In: Selinger P (ed) 2nd International Workshop on Quantum Programming Languages, pp 39\u201356. Online available at http:\/\/quasar.mathstat.uottawa.ca\/\u223cselinger\/qpl2004\/PDFS\/04Baltag-Smets.pdf"},{"key":"12_CR8","first-page":"103","volume-title":"Collected Papers on Quantum Computation and Quantum Information Theory","author":"R Cleve","year":"2000","unstructured":"Cleve R (2000) An introduction to quantum complexity theory. In: Macchiavello C, Palma GM, Zeilinger A (eds) Collected Papers on Quantum Computation and Quantum Information Theory. World Scientific, Singapore, pp 103\u2013127. Online available at http:\/\/www.cpsc.ucalgary.ca\/\u223ccleve\/pubs\/intro_complexity_qph.ps"},{"key":"12_CR9","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra EW (1976) A Discipline of Programming. Prentice-Hall, Upper Saddle River"},{"key":"12_CR10","unstructured":"Gay SJ, Nagarajan R (2004) Communicating quantum processes. In: Selinger P (ed) 2nd International Workshop on Quantum Programming Languages, pp 91\u2013107. Online available at http:\/\/quasar.mathstat.uottawa.ca\/\u223cselinger\/qpl2004\/PDFS\/07Gay-Nagarajan.pdf"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Knill E (1996) Conventions for quantum pseudocode. Technical Report LAUR-96-2724, Los Alamos National Laboratory. Online available at http:\/\/www.eskimo.com\/\u223cknill\/cv\/reprints\/knill:qc1996e.ps","DOI":"10.2172\/366453"},{"key":"12_CR12","unstructured":"Lalire M, Jorrand P (2004) A process algebraic approach to concurrent and distributed quantum computation: operational semantics. In: Selinger P (ed) 2nd International Workshop on Quantum Programming Languages, pp 109\u2013126. Online available at http:\/\/quasar.mathstat.uottawa.ca\/\u223cselinger\/qpl2004\/PDFS\/08Lalire-Jorrand.pdf"},{"key":"12_CR13","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice-Hall, Upper Saddle River"},{"key":"12_CR14","first-page":"14","volume":"22","author":"C Morgan","year":"1999","unstructured":"Morgan C, McIver A (1999) pGCL: formal reasoning for random algorithms. South African Comput J 22:14\u201327. Online available at http:\/\/web.comlab.ox.ac.uk\/oucl\/research\/areas\/probs\/pGCL.ps.gz","journal-title":"South African Comput J"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Mateus P, Mitchell J, Scedrov A (2003) Composition of cryptographic protocols in a probabilistic polynomial-time process calculus. In: Amadio R, Lugiez D (eds) Concurrency Theory. Proceedings of CONCUR 2003, Lecture Notes in Computer Science, vol 2761, Springer-Verlag, Berlin, Heidelberg, New York, pp 327\u2013349. Online available at http:\/\/wslc.math.ist.utl.pt\/ftp\/pub\/MateusP\/03-MMS-seccomp.pdf","DOI":"10.1007\/978-3-540-45187-7_22"},{"issue":"1","key":"12_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner R, Parrow J, Walker D (1992) A calculus of mobile processes, i. Inf Comput 100(1):1\u201340. Online available at http:\/\/www.lfcs.inf.ed.ac.uk\/reports\/89\/ECS-LFCS-89-85\/index.html","journal-title":"Inf Comput"},{"issue":"1","key":"12_CR17","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0890-5401(92)90009-5","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner R, Parrow J, Walker D (1992) A calculus of mobile processes, ii. Inf Comput 100(1):41\u201377. Online available at http:\/\/www.lfcs.inf.ed.ac.uk\/reports\/89\/ECS-LFCS-89-86\/index.html","journal-title":"Inf Comput"},{"key":"12_CR18","volume-title":"Quantum Computation and Quantum Information","author":"M Nielsen","year":"2000","unstructured":"Nielsen M, Chuang I (2000) Quantum Computation and Quantum Information. Cambridge University Press, Cambridge"},{"key":"12_CR19","unstructured":"\u00d6mer B (2006) QCL \u2013 a programming language for quantum computers. http:\/\/tph.tuwien.ac.at\/\u223coemer\/qcl.html"},{"key":"12_CR20","unstructured":"\u00d6mer B (2003) Quantum programming in QCL. Master\u2019s thesis, TU Vienna. Online available at http:\/\/tph.tuwien.ac.at\/\u223coemer\/doc\/quprog.pdf"},{"key":"12_CR21","unstructured":"\u00d6mer B (2003) Structured Quantum Programming. PhD thesis, TU Vienna. Online available at http:\/\/tph.tuwien.ac.at\/\u223coemer\/doc\/structquprog.pdf"},{"key":"12_CR22","unstructured":"Svore K, Cross A, Aho A, Chuang I, Markov I (2004) Toward a software architecture for quantum computing design tools. In: Peter Selinger (ed) 2nd International Workshop on Quantum Programming Languages, pp 145\u2013162. Online available at http:\/\/quasar.mathstat.uottawa.ca\/\u223cselinger\/qpl2004\/PDFS\/10Svore-Cross-Aho-Chuang-Markov.pdf"},{"issue":"4","key":"12_CR23","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1017\/S0960129504004256","volume":"14","author":"P Selinger","year":"2004","unstructured":"Selinger P (2004) Towards a quantum programming language. Math Struct Comput Sci 14(4):527\u2013586. Online available at http:\/\/quasar.mathstat.uottawa.ca\/\u223cselinger\/papers\/flops04.ps.gz","journal-title":"Math Struct Comput Sci"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Shor PW (1994) Algorithms for quantum computation: Discrete logarithms and factoring. In: 35th Annual Symposium on Foundations of Computer Science, Proceedings of FOCS 1994. IEEE Computer Society, Los Alamitos, pp 124\u2013134","DOI":"10.1109\/SFCS.1994.365700"},{"key":"12_CR25","unstructured":"Selinger P, Valiron B (2004) A lambda calculus for quantum computation with classical control, November 2004. Preprint, online available at http:\/\/quasar.mathstat.uottawa.ca\/\u223cselinger\/papers\/qlambda.ps.gz"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Sanders JW, Zuliani P (2000) Quantum programming. In: MPC \u201900: Proceedings of the 5th International Conference on Mathematics of Program Construction, Springer LNCS. Springer-Verlag, Berlin, Heidelberg, New York, pp 80\u201399. Online available at http:\/\/web.comlab.ox.ac.uk\/oucl\/research\/areas\/probs\/qp.ps.gz","DOI":"10.1007\/10722010_6"},{"key":"12_CR27","unstructured":"Unruh D (2004) Classical control in quantum programs. In: 5th European QIPC Workshop, Roma, September 2004. Poster, online available at http:\/\/iaks-www.ira.uka.de\/home\/unruh\/publications\/unruh04classical.html"},{"key":"12_CR28","unstructured":"Unruh D (2005) Quantum programs with classical output streams (extended abstract). In: Selinger P (ed) 3rd International Workshop on Quantum Programming Languages, pp 149\u2013167. Online available at http:\/\/www.mathstat.dal.ca\/\u223cselinger\/qpl2005\/PDFS\/10-Unruh.pdf"},{"key":"12_CR29","unstructured":"Unruh D (2004) Simulatable security for quantum protocols. Preprint on quant-ph\/0409125, September 2004. Online available at http:\/\/arxiv.org\/ps\/quant-ph\/0409125"},{"key":"12_CR30","unstructured":"Valiron B (2004) Quantum typing. In: Selinger P (ed) 2nd International Workshop on Quantum Programming Languages, pp 163\u2013178. Online available at http:\/\/quasar.mathstat.uottawa.ca\/\u223cselinger\/qpl2004\/PDFS\/11Valiron.pdf"},{"issue":"5","key":"12_CR31","doi-asserted-by":"crossref","first-page":"1109","DOI":"10.1137\/S0097539703432165","volume":"33","author":"A Tonder van","year":"2004","unstructured":"van Tonder A (2004) A lambda calculus for quantum computation. SIAM J Comput 33(5):1109\u20131135. Online available at http:\/\/epubs.siam.org\/sam-bin\/dbq\/article\/43216","journal-title":"SIAM J Comput"},{"key":"12_CR32","unstructured":"Wilce A (2003) Quantum logic, probability theory. In: Zalta EN (ed) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, CSLI, Stanford University, Spring 2003. Online available at http:\/\/plato.stanford.edu\/archives\/spr2003\/entries\/qt-quantlog\/"},{"key":"12_CR33","unstructured":"Zuliani P (2004) Non-deterministic quantum programming. In: Selinger P (ed) 2nd International Workshop on Quantum Programming Languages, pp 179\u2013195. Online available at http:\/\/quasar.mathstat.uottawa.ca\/\u223cselinger\/qpl2004\/PDFS\/12Zuliani.pdf"}],"container-title":["Informatik - Forschung und Entwicklung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-006-0012-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00450-006-0012-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-006-0012-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T13:32:44Z","timestamp":1559136764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-006-0012-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":33,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2006,10,5]]}},"alternative-id":["12"],"URL":"https:\/\/doi.org\/10.1007\/s00450-006-0012-y","relation":{},"ISSN":["0178-3564","0949-2925"],"issn-type":[{"value":"0178-3564","type":"print"},{"value":"0949-2925","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,9,16]]}}}