{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T09:01:51Z","timestamp":1778835711007,"version":"3.51.4"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030014605","type":"print"},{"value":"9783030014612","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-01461-2_8","type":"book-chapter","created":{"date-parts":[[2018,9,28]],"date-time":"2018-09-28T02:05:15Z","timestamp":1538100315000},"page":"133-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["$$Q|SI\\rangle $$Q|SI\u27e9\u00a0: A Quantum Programming Environment"],"prefix":"10.1007","author":[{"given":"Shusen","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji","family":"Guan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yinan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Runyao","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingsheng","family":"Ying","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,29]]},"reference":[{"issue":"5","key":"8_CR1","doi-asserted-by":"publisher","first-page":"3457","DOI":"10.1103\/PhysRevA.52.3457","volume":"52","author":"A Barenco","year":"1995","unstructured":"Barenco, A., Bennett, C.H., Cleve, R., DiVincenzo, D.P., Margolus, N., Shor, P., Sleator, T., Smolin, J.A., Weinfurter, H.: Elementary gates for quantum computation. Phys. Rev. A 52(5), 3457 (1995)","journal-title":"Phys. Rev. A"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Beals, R., Brierley, S., Gray, O., Harrow, A.W., Kutin, S., Linden, N., Shepherd, D., Stather, M.: Efficient distributed quantum computing. In: Proc. R. Soc. A. vol. 469, p. 20120686. The Royal Society (2013)","DOI":"10.1098\/rspa.2012.0686"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.tcs.2014.05.025","volume":"560","author":"CH Bennett","year":"2014","unstructured":"Bennett, C.H., Brassard, G.: Quantum cryptography: public key distribution and coin tossing. Theor. Comput. Sci. 560, 7\u201311 (2014)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"8_CR4","first-page":"181","volume":"25","author":"S Bettelli","year":"2003","unstructured":"Bettelli, S., Calarco, T., Serafini, L.: Toward an architecture for quantum programming. Eur. Phys.J. D-Atomic, Mol. Opt. Plasma Phys. 25(2), 181\u2013200 (2003)","journal-title":"Eur. Phys.J. D-Atomic, Mol. Opt. Plasma Phys."},{"key":"8_CR5","unstructured":"Dawson, C.M., Nielsen, M.A.: The solovay-kitaev algorithm. arXiv preprint quant-ph\/ arXiv:0505030 (2005)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Devroye, L.: Sample-based non-uniform random variate generation. In: Proceedings of the 18th conference on Winter simulation, pp. 260\u2013265 (1986)","DOI":"10.1145\/318242.318443"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Green, A.S., Lumsdaine, P.L., Ross, N.J., Selinger, P., Valiron, B.: Quipper: a scalable quantum programming language. In: ACM SIGPLAN Notices, vol. 48, pp. 333\u2013342. ACM (2013)","DOI":"10.1145\/2499370.2462177"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, pp. 212\u2013219. ACM (1996)","DOI":"10.1145\/237814.237866"},{"issue":"15","key":"8_CR9","doi-asserted-by":"publisher","first-page":"150502","DOI":"10.1103\/PhysRevLett.103.150502","volume":"103","author":"AW Harrow","year":"2009","unstructured":"Harrow, A.W., Hassidim, A., Lloyd, S.: Quantum algorithm for linear systems of equations. Phys. Rev. Lett. 103(15), 150502 (2009)","journal-title":"Phys. Rev. Lett."},{"issue":"1&2","key":"8_CR10","first-page":"142","volume":"11","author":"Y Hirata","year":"2011","unstructured":"Hirata, Y., Nakanishi, M., Yamashita, S., Nakashima, Y.: An efficient conversion of quantum circuits to a linear nearest neighbor architecture. Q. Inf. Comput. 11(1&2), 142\u2013166 (2011)","journal-title":"Q. Inf. Comput."},{"key":"8_CR11","unstructured":"qubit backend: IBM QX team,: ibmqx3 backend specification. Retrieved from https:\/\/ibm.biz\/qiskit-ibmqx3 (2017)"},{"key":"8_CR12","unstructured":"qubit backend: IBM QX team,: ibmqx2 backend specification. Retrieved from https:\/\/ibm.biz\/qiskit-ibmqx2 (2017)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"JavadiAbhari, A., et al.: Scaffcc: a framework for compilation and analysis of quantum computing programs. In: Proceedings of the 11th ACM Conference on Computing Frontiers, p. 1 (2014)","DOI":"10.1145\/2597917.2597939"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.parco.2014.12.001","volume":"45","author":"A JavadiAbhari","year":"2015","unstructured":"JavadiAbhari, A., Patil, S., Kudrow, D., Heckey, J., Lvov, A., Chong, F.T., Martonosi, M.: Scaffcc: scalable compilation and analysis of quantum programs. Parallel Comput. 45, 2\u201317 (2015)","journal-title":"Parallel Comput."},{"key":"8_CR15","unstructured":"Jones, C., Gyure, M.F., Ladd, T.D., Fogarty, M.A., Morello, A., Dzurak, A.S.: A logical qubit in a linear array of semiconductor quantum dots. arXiv preprint arXiv:1608.06335 (2016)"},{"key":"8_CR16","unstructured":"Liu, T., Li, Y., Wang, S., Ying, M., Zhan, N.: A theorem prover for quantum hoare logic and its applications. arXiv preprint arXiv:1601.03835 (2016)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2010)","DOI":"10.1017\/CBO9780511976667"},{"key":"8_CR18","unstructured":"\u00d6mer, B.: A procedural formalism for quantum computing (1998)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/10722010_6","volume-title":"Mathematics of Program Construction","author":"JW Sanders","year":"2000","unstructured":"Sanders, J.W., Zuliani, P.: Quantum programming. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol. 1837, pp. 80\u201399. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/10722010_6"},{"key":"8_CR20","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. 2998, pp. 1\u20136. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24754-8_1"},{"issue":"6","key":"8_CR21","doi-asserted-by":"publisher","first-page":"1000","DOI":"10.1109\/TCAD.2005.855930","volume":"25","author":"V Shende","year":"2006","unstructured":"Shende, V., Bullock, S., Markov, I.: Synthesis of quantum-logic circuits. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 25(6), 1000\u20131010 (2006)","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"issue":"2","key":"8_CR22","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1137\/S0036144598347011","volume":"41","author":"PW Shor","year":"1999","unstructured":"Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Rev. 41(2), 303\u2013332 (1999)","journal-title":"SIAM Rev."},{"issue":"2","key":"8_CR23","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1103\/PhysRevLett.85.441","volume":"85","author":"PW Shor","year":"2000","unstructured":"Shor, P.W., Preskill, J.: Simple proof of security of the bb84 quantum key distribution protocol. Phys. Rev. Lett. 85(2), 441 (2000)","journal-title":"Phys. Rev. Lett."},{"key":"8_CR24","unstructured":"Smelyanskiy, M., Sawaya, N.P., Aspuru-Guzik, A.: qhipster: the quantum high performance software testing environment. arXiv preprint arXiv:1601.07195 (2016)"},{"key":"8_CR25","unstructured":"Smith, R.S., Curtis, M.J., Zeng, W.J.: A practical quantum instruction set architecture. arXiv preprint arXiv:1608.03355 (2016)"},{"issue":"1","key":"8_CR26","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/MC.2006.4","volume":"39","author":"KM Svore","year":"2006","unstructured":"Svore, K.M., Aho, A.V., Cross, A.W., Chuang, I., Markov, I.L.: A layered software architecture for quantum computing design tools. IEEE Comput. 39(1), 74\u201383 (2006)","journal-title":"IEEE Comput."},{"issue":"7573","key":"8_CR27","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1038\/nature15263","volume":"526","author":"M Veldhorst","year":"2015","unstructured":"Veldhorst, M., Yang, C., Hwang, J., Huang, W., Dehollain, J., Muhonen, J., Simmons, S., Laucht, A., Hudson, F., Itoh, K., et al.: A two-qubit logic gate in silicon. Nature 526(7573), 410\u2013414 (2015)","journal-title":"Nature"},{"key":"8_CR28","unstructured":"Wecker, D., Svore, K.M.: Liquid: A software design architecture and domain-specific language for quantum computing. arXiv preprint arXiv:1402.4467 (2014)"},{"issue":"6","key":"8_CR29","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/2049706.2049708","volume":"33","author":"M Ying","year":"2011","unstructured":"Ying, M.: Floyd-hoare logic for quantum programs. ACM Trans. Program. Lang. Syst. (TOPLAS) 33(6), 19 (2011)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"8_CR30","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/B978-0-12-802306-8.00005-7","volume-title":"Foundations of Quantum Programming","author":"Mingsheng Ying","year":"2016","unstructured":"Ying, M.: Foundations of Quantum Programming. Morgan Kaufmann, Burlington (2016)"},{"issue":"4","key":"8_CR31","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s00236-010-0117-4","volume":"47","author":"M Ying","year":"2010","unstructured":"Ying, M., Feng, Y.: Quantum loop programs. Acta Inf. 47(4), 221\u2013250 (2010)","journal-title":"Acta Inf."},{"issue":"4","key":"8_CR32","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1109\/TSE.2010.94","volume":"37","author":"M Ying","year":"2011","unstructured":"Ying, M., Feng, Y.: A flowchart language for quantum programming. IEEE Trans. Soft. Eng. 37(4), 466\u2013485 (2011)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Ying, M., Ying, S., Wu, X.: Invariants of quantum programs: characterisations and generation. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, pp. 818\u2013832. ACM (2017)","DOI":"10.1145\/3093333.3009840"},{"issue":"9","key":"8_CR34","doi-asserted-by":"publisher","first-page":"1679","DOI":"10.1016\/j.scico.2013.03.016","volume":"78","author":"M Ying","year":"2013","unstructured":"Ying, M., Yu, N., Feng, Y., Duan, R.: Verification of quantum programs. Sci. Comput. Program. 78(9), 1679\u20131700 (2013)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","Symposium on Real-Time and Hybrid Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-01461-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T21:05:21Z","timestamp":1571951121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-01461-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030014605","9783030014612"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-01461-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}