{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T15:03:17Z","timestamp":1750431797769},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642171635"},{"type":"electronic","value":"9783642171642"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17164-2_2","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T10:54:39Z","timestamp":1290164079000},"page":"16-20","source":"Crossref","is-referenced-by-count":5,"title":["Foundations of Quantum Programming (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Mingsheng","family":"Ying","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 249\u2013258 (2005)","DOI":"10.1109\/LICS.2005.1"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1017\/S0960129506005299","volume":"16","author":"A. Baltag","year":"2006","unstructured":"Baltag, A., Smets, S.: LQP: the dynamic logic of quantum information. Mathematical Structures in Computer Science\u00a016, 491\u2013525 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1142\/S0219749904000067","volume":"2","author":"O. Brunet","year":"2004","unstructured":"Brunet, O., Jorrand, P.: Dynamic quantum logic for quantum programs. International Journal of Quantum Information\u00a02, 45\u201354 (2004)","journal-title":"International Journal of Quantum Information"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2006.04.003","volume":"158","author":"R. Chadha","year":"2006","unstructured":"Chadha, R., Mateus, P., Sernadas, A.: Reasoning about imperative quantum programs. Electronic Notes in Theoretical Computer Science\u00a0158, 19\u201339 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1017\/S0960129506005251","volume":"16","author":"E. D\u2019Hondt","year":"2006","unstructured":"D\u2019Hondt, E., Panangaden, P.: Quantum weakest preconditions. Mathematical Structures in Computer Science\u00a016, 429\u2013451 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.tcs.2007.06.011","volume":"386","author":"Y. Feng","year":"2007","unstructured":"Feng, Y., Duan, R.Y., Ji, Z.F., Ying, M.S.: Proof rules for the correctness of quantum programs. Theoretical Computer Science\u00a0386, 151\u2013166 (2007)","journal-title":"Theoretical Computer Science"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"1608","DOI":"10.1016\/j.ic.2007.08.001","volume":"205","author":"Y. Feng","year":"2007","unstructured":"Feng, Y., Duan, R.Y., Ji, Z.F., Ying, M.S.: Probabilistic bisimulations for quantum processes. Information and Computation\u00a0205, 1608\u20131639 (2007)","journal-title":"Information and Computation"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1017\/S0960129506005378","volume":"16","author":"S.J. Gay","year":"2006","unstructured":"Gay, S.J.: Quantum programming languages: survey and bibliography. Mathematical Structures in Computer Science\u00a016, 581\u2013600 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR9","first-page":"145","volume-title":"Proceedings of the 32nd ACM Symposium on Principles of Programming Languages","author":"S.J. Gay","year":"2005","unstructured":"Gay, S.J., Nagarajan, R.: Communicating quantum processes. In: Proceedings of the 32nd ACM Symposium on Principles of Programming Languages, Long Beach, California, USA, pp. 145\u2013157. ACM Press, New York (2005)"},{"key":"2_CR10","first-page":"111","volume-title":"Proceedings of the 1st ACM Conference on Computing Frontiers","author":"P. Jorrand","year":"2005","unstructured":"Jorrand, P., Lalire, M.: Toward a quantum process algebra. In: Proceedings of the 1st ACM Conference on Computing Frontiers, Ischia, Italy, pp. 111\u2013119. ACM Press, New York (2005)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Knill, E.H.: Conventions for quantum pseudocode, Technical Report LAUR-96-2724, Los Alamos National Laboratory (1996)","DOI":"10.2172\/366453"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.entcs.2006.12.014","volume":"170","author":"R. Nagarajan","year":"2007","unstructured":"Nagarajan, R., Papanikolaou, N., Williams, D.: Simulating and compiling code for the sequential quantum random access machine. Electronic Notes in Theoretical Computer Science\u00a0170, 101\u2013124 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2_CR13","unstructured":"\u00d6mer, B.: Structural quantum programming, Ph.D. Thesis. Technical University of Vienna (2003)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","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. 88\u201399. Springer, Heidelberg (2000)"},{"key":"2_CR15","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. Mathematical Structures in Computer Science\u00a014, 527\u2013586 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24754-8_1","volume-title":"Functional and Logic Programming","author":"P. Selinger","year":"2004","unstructured":"Selinger, P.: A brief survey of quantum programming languages. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol.\u00a02998, pp. 1\u20136. Springer, Heidelberg (2004)"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/MC.2006.4","volume":"39","author":"K.M. Svore","year":"2006","unstructured":"Svore, K.M., Aho, A.V., Cross, A.W., Chuang, I.L., Markov, I.L.: A layered software architecture for quantum computing design tools. IEEE Computer\u00a039, 74\u201383 (2006)","journal-title":"IEEE Computer"},{"key":"2_CR18","unstructured":"Ying, M.S.: Hoare logic for quantum programs, http:\/\/xxx.lanl.gov\/abs\/0906.4586"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1016\/j.ipl.2007.06.003","volume":"104","author":"M.S. Ying","year":"2007","unstructured":"Ying, M.S., Chen, J.X., Feng, Y., Duan, R.Y.: Commutativity of quantum weakest preconditions. Information Processing Letters\u00a0104, 152\u2013158 (2007)","journal-title":"Information Processing Letters"},{"key":"2_CR20","first-page":"311","volume-title":"Semantic Techniques in Quantum Computation","author":"M.S. Ying","year":"2010","unstructured":"Ying, M.S., Duan, R.Y., Feng, Y., Ji, Z.F.: Predicate transformer semantics of quantum programs. In: Mackie, I., Gay, S. (eds.) Semantic Techniques in Quantum Computation, pp. 311\u2013360. Cambridge University Press, Cambridge (2010)"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"728","DOI":"10.1109\/TC.2009.13","volume":"58","author":"M.S. Ying","year":"2009","unstructured":"Ying, M.S., Feng, Y.: An algebraic language for distributed quantum computing. IEEE Transactions on Computers\u00a058, 728\u2013743 (2009)","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s00236-010-0117-4","volume":"47","author":"M.S. Ying","year":"2010","unstructured":"Ying, M.S., Feng, Y.: Quantum loop programs. Acta Informatica\u00a047, 221\u2013250 (2010)","journal-title":"Acta Informatica"},{"key":"2_CR23","unstructured":"Ying, M.S., Feng, Y.: A flowchart language for quantum programming. (submitted)"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1507244.1507249","volume":"10","author":"M.S. Ying","year":"2009","unstructured":"Ying, M.S., Feng, Y., Duan, R.Y., Ji, Z.F.: An algebra of quantum processes. ACM Transactions on Computational Logic\u00a010, 19 (2009)","journal-title":"ACM Transactions on Computational Logic"},{"key":"2_CR25","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 Informatica\u00a041, 435\u2013473 (2005)","journal-title":"Acta Informatica"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/s00236-009-0100-0","volume":"46","author":"P. Zuliani","year":"2009","unstructured":"Zuliani, P.: Reasoning about faulty quantum programs. Acta Informatica\u00a046, 403\u2013432 (2009)","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17164-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T11:18:21Z","timestamp":1559819901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17164-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642171635","9783642171642"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17164-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}