{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T10:44:43Z","timestamp":1649155483710},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2008,5,21]],"date-time":"2008-05-21T00:00:00Z","timestamp":1211328000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Ser. F-Inf. Sci."],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s11432-008-0059-4","type":"journal-article","created":{"date-parts":[[2008,5,20]],"date-time":"2008-05-20T14:41:12Z","timestamp":1211294472000},"page":"623-637","source":"Crossref","is-referenced-by-count":2,"title":["Quantum programming languages: A tentative study"],"prefix":"10.1007","volume":"51","author":[{"given":"JiaFu","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FangMin","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,5,21]]},"reference":[{"key":"59_CR1","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"R. R. Feynman","year":"1982","unstructured":"Feynman R R. Simulating physics with computers. Int J Theor Phys, 1982, 21: 467\u2013488","journal-title":"Int J Theor Phys"},{"key":"59_CR2","doi-asserted-by":"crossref","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 Royal Soc London Ser A, 1985, 400: 97","journal-title":"Proc Royal Soc London Ser A"},{"key":"59_CR3","volume-title":"Mathematical Foundations of Quantum Mechanics","author":"J. Neumann von","year":"1955","unstructured":"von Neumann J. Mathematical Foundations of Quantum Mechanics. Princeton: Princeton University Press, 1955"},{"key":"59_CR4","volume-title":"Quantum Computation and Quantum Information","author":"M. A. Nielson","year":"2000","unstructured":"Nielson M A, Chuang I L. Quantum Computation and Quantum Information. Cambridge: Cambridge University Press, 2000"},{"key":"59_CR5","volume-title":"Encyclopedia of Computer Science and Technology (in Chinese)","author":"X. X. Zhang","year":"2005","unstructured":"Zhang X X. Encyclopedia of Computer Science and Technology (in Chinese). 2nd ed. Beijing: Qinghua University Press, 2005","edition":"2"},{"key":"59_CR6","unstructured":"Xu J F, Chong C H, Yang F Q, et al. On the design, implementation and use of the systems programming language XCY. In: Information Processing 80. Oct. 1980. 305\u2013308"},{"key":"59_CR7","doi-asserted-by":"crossref","unstructured":"Knill E. Conventions for Quantum Pseudocode. LANL report LAUR-96-2724 Los Alamos National Laboratory, June 1996","DOI":"10.2172\/366453"},{"key":"59_CR8","volume-title":"Quantum Programming","author":"P. Zuliani","year":"2001","unstructured":"Zuliani P. Quantum Programming. Oxford: St Cross College, University of Oxford. Trinity Term 2001"},{"key":"59_CR9","unstructured":"\u00d6mer B. Structured quantum programming. Ph.D. thesis. Institute for Theoretical Physics Technical University of Vienna, 2003"},{"key":"59_CR10","volume-title":"\u201cQgol\u201d A system for simulating quantum computation: Theory, implementation and insights","author":"G. D. Baker","year":"1996","unstructured":"Baker G D. \u201cQgol\u201d A system for simulating quantum computation: Theory, implementation and insights. Honours Thesis. Sydney: Macquarie University, 1996"},{"key":"59_CR11","volume-title":"QML A functional quantum programming language","author":"J. J. Grattage","year":"2006","unstructured":"Grattage J J. QML A functional quantum programming language. Ph.D. Thesis. Nottingham: Nottingham University, 2006"},{"key":"59_CR12","first-page":"6","volume":"12","author":"J. F. Xu","year":"1982","unstructured":"Xu J F, Yang F Q, Chong C H. Module: A structured programming tool. J Elect (in Chinese), 1982, 12: 6\u201310","journal-title":"J Elect (in Chinese)"},{"key":"59_CR13","first-page":"1","volume":"1","author":"J. F. Xu","year":"1986","unstructured":"Xu J F. On the design principles of programming languages. Comp Tech (in Chinese), 1986, 1: 1\u20133","journal-title":"Comp Tech (in Chinese)"},{"key":"59_CR14","first-page":"12","volume-title":"Object Oriented Programming Languages (in Chinese)","author":"J. F. Xu","year":"1992","unstructured":"Xu J F, Wang Z J, Zhai C X. Object Oriented Programming Languages (in Chinese). Nanjing: Nanjing University Press, 1992. 12"},{"key":"59_CR15","first-page":"6","volume-title":"Systems Programming Languages (in Chinese)","author":"J. F. Xu","year":"1983","unstructured":"Xu J F. Systems Programming Languages (in Chinese). Beijing: Science Press, 1983. 6"},{"key":"59_CR16","first-page":"1","volume":"1","author":"J. F. Xu","year":"2008","unstructured":"Xu J F, Song F M, Qian S J, et al. Quantum programming language NDQJava. J Software (in Chinese), 2008, 1: 1\u20138","journal-title":"J Software (in Chinese)"},{"issue":"8","key":"59_CR17","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus J. Can programming be liberated from the von Neumann style, a functional style and its algebra of programs? ACM, 1978, 21(8): 613\u2013641","journal-title":"ACM"},{"key":"59_CR18","unstructured":"Backus J, Williams J H, Winners E L, et al. FL Language Manual. Parts 1 and 2. IBM Almaton Research Center, 1989. 10"}],"container-title":["Science in China Series F: Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-008-0059-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-008-0059-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-008-0059-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:35:55Z","timestamp":1559403355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-008-0059-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,21]]},"references-count":18,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["59"],"URL":"https:\/\/doi.org\/10.1007\/s11432-008-0059-4","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,5,21]]}}}