{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,26]],"date-time":"2026-01-26T10:42:15Z","timestamp":1769424135603,"version":"3.49.0"},"publisher-location":"Cham","reference-count":107,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031053238","type":"print"},{"value":"9783031053245","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-05324-5_12","type":"book-chapter","created":{"date-parts":[[2022,10,12]],"date-time":"2022-10-12T13:07:19Z","timestamp":1665580039000},"page":"229-250","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Quantum Software Tools Overview"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 A.","family":"Cruz-Lemus","sequence":"first","affiliation":[]},{"given":"Manuel A.","family":"Serrano","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,13]]},"reference":[{"issue":"7671","key":"12_CR1","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1038\/549171a","volume":"549","author":"L Mueck","year":"2017","unstructured":"Mueck L (2017) Quantum software. Nature 549(7671):171\u2013171","journal-title":"Nature"},{"issue":"10","key":"12_CR2","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1145\/355604.361591","volume":"15","author":"EW Dijkstra","year":"1972","unstructured":"Dijkstra EW (1972) The humble programmer. Commun ACM 15(10):859\u2013866","journal-title":"Commun ACM"},{"key":"12_CR3","volume-title":"Continuous delivery: reliable software releases through build, test, and deployment automation","author":"J Humble","year":"2010","unstructured":"Humble J, Farley D (2010) Continuous delivery: reliable software releases through build, test, and deployment automation. Pearson Education"},{"key":"12_CR4","unstructured":"Kim G, Humble J, Debois P, Willis J, Forsgren N (2021) The DevOps handbook: how to create world-class agility, reliability, & security in technology organizations. IT Revolution"},{"key":"12_CR5","unstructured":"Piattini M, Peterssen G, P\u00e9rez-Castillo R, Hevia JL et al (2020) The Talavera Manifesto for Quantum Software Engineering and Programming. QANSWER 2020 QuANtum SoftWare Engineering & pRogramming. Proceedings of the 1st International Workshop on the QuANtum SoftWare Engineering & pRogramming, Talavera de la Reina, Spain, February 11\u201312, 2020. http:\/\/ceur-ws.org\/Vol-2561\/paper0.pdf"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/3412451.3428497","volume-title":"Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software","author":"B Weder","year":"2020","unstructured":"Weder B, Barzen J, Leymann F, Salm M, Vietz D (2020) The quantum software lifecycle. In: Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, pp 2\u20139"},{"key":"12_CR7","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2020.102933","volume":"151","author":"R P\u00e9rez-Castillo","year":"2021","unstructured":"P\u00e9rez-Castillo R, Serrano MA, Piattini M (2021) Software modernization to embrace quantum technology. Adv Eng Softw 151:102933","journal-title":"Adv Eng Softw"},{"key":"12_CR8","unstructured":"Cross AW, Bishop LS, Smolin JA, Gambetta JM (2017) Open quantum assembly language. arXiv preprint arXiv:1707.03429"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Cross AW, Javadi-Abhari A, Alexander T, de Beaudrap N, Bishop LS, Heidel S, Ryan C, Smolin J, Gambetta JM, Johson BR (2021) OpenQASM 3: a broader and deeper quantum assembly language. arXiv:2104.14722v1","DOI":"10.1145\/3505636"},{"key":"12_CR10","unstructured":"Smith RS, Curtis MJ, Zeng WJ (2016) A practical quantum instruction set architecture. arXiv:1608.03355"},{"issue":"7","key":"12_CR11","doi-asserted-by":"publisher","first-page":"943","DOI":"10.1007\/s10773-005-7071-x","volume":"44","author":"B \u00d6mer","year":"2005","unstructured":"\u00d6mer B (2005) Classical concepts in quantum programming. Int J Theoretical Phys 44(7):943\u2013955","journal-title":"Int J Theoretical Phys"},{"key":"12_CR12","unstructured":"Mlnarik H (2007) Operational semantics and type soundness of quantum programming language LanQ. arXiv preprint arXiv:0708.0890"},{"issue":"Suppl 01","key":"12_CR13","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1142\/S0219749908004031","volume":"6","author":"H Mlnarik","year":"2008","unstructured":"Mlnarik H (2008) Semantics of quantum programming language LanQ. Int J Quant Inf 6(Suppl 01):733\u2013738","journal-title":"Int J Quant Inf"},{"key":"12_CR14","unstructured":"Abhari AJ, Faruque A, Dousti MJ, Svec L, Catu O, Chakrabati A, Chiang C-F, Vanderwilt S, Black J, Chong F (2012) Scaffold: Quantum programming language. Princeton University, NJ"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.parco.2014.12.001","volume":"45","author":"AJ Abhari","year":"2015","unstructured":"Abhari AJ, Patil S, Kudrow D, Heckey J, Lvov A, Chong FT, Martonosi M (2015) Scaffcc: Scalable compilation and analysis of quantum programs. Parallel Comput 45:2\u201317","journal-title":"Parallel Comput"},{"key":"12_CR16","first-page":"1","volume-title":"2016 IEEE High Performance Extreme Computing Conference (HPEC)","author":"S Pakin","year":"2016","unstructured":"Pakin S (2016) A quantum macro assembler. In: 2016 IEEE High Performance Extreme Computing Conference (HPEC). IEEE, pp 1\u20138"},{"key":"12_CR17","unstructured":"Khammassi N, Guerreschi GG, Ashraf I, Hogaboam JW, Almudever CG, Bertels K (2018) cQASM v1.0: towards a common quantum assembly language. arXiv:1805.09607v1"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1109\/QCE49297.2020.00056","volume-title":"2020 IEEE International Conference on Quantum Computing and Engineering (QCE)","author":"BC Morrison","year":"2020","unstructured":"Morrison BC, Landahl AJ, Lobser DS, Rudinger KM, Russo AE, Van Der Wall JW, Maunz P (2020) Just another quantum assembly language (Jaqal). In: 2020 IEEE International Conference on Quantum Computing and Engineering (QCE). IEEE, pp 402\u2013408"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/10722010_6","volume-title":"International Conference on Mathematics of Program Construction","author":"JW Sanders","year":"2000","unstructured":"Sanders JW, Zuliani P (2000) Quantum programming. In: International Conference on Mathematics of Program Construction. Springer, pp 80\u201399"},{"key":"12_CR20","unstructured":"Zuliani P (2004) Non-deterministic quantum programming. In: Proceeding QPL 2004. Facolt\u00e0 di Scienze e Tecnologie Informatiche Libera Universit\u00e0 di Bolzano Italy. pp 179\u2013195"},{"issue":"2","key":"12_CR21","first-page":"181","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-Atom Mol Optical Plasma Phys 25(2):181\u2013200","journal-title":"Eur Phys J D-Atom Mol Optical Plasma Phys"},{"issue":"1","key":"12_CR22","first-page":"1","volume":"19","author":"X Jia-Fu","year":"2008","unstructured":"Jia-Fu X, Song F-M, Qian S-J, Dai J-A, Zhang Y-J (2008) Quantum programming language NDQJava. J Softw 19(1):1\u20138","journal-title":"J Softw"},{"key":"12_CR23","unstructured":"Purkeypile M (2009) Cove: a practical quantum computer programming framework. PhD Dissertation. Colorado Technical University. https:\/\/arxiv.org\/abs\/0911.2423"},{"key":"12_CR24","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1109\/ICCD.2013.6657075","volume-title":"2013 IEEE 31st International Conference on Computer Design (ICCD)","author":"X Liu","year":"2013","unstructured":"Liu X, Kubiatowicz J (2013) Chisel-Q: designing quantum circuits with a scala embedded language. In: 2013 IEEE 31st International Conference on Computer Design (ICCD). IEEE, pp 427\u2013434"},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.entcs.2016.09.007","volume":"324","author":"SS Feitosa","year":"2016","unstructured":"Feitosa SS, Vizzotto JK, Piveta EK, Du Bois AR (2016) FJQuantum\u2013a quantum object oriented language. Electron Notes Theoretical Comput Sci 324:67\u201377","journal-title":"Electron Notes Theoretical Comput Sci"},{"key":"12_CR26","doi-asserted-by":"publisher","first-page":"866","DOI":"10.1109\/SC.2016.73","volume-title":"SC\u201916: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis","author":"T H\u00e4ner","year":"2016","unstructured":"H\u00e4ner T, Steiger DS, Smelyanskiy M, Troyer M (2016) High performance emulation of quantum circuits. In: SC\u201916: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, pp 866\u2013874"},{"key":"12_CR27","unstructured":"Aleksandrowicz G, Alexander T, Barkoutsos P, Bello L, Ben-Haim Y, Bucher D, Cabrera-Hern\u00e1ndez FJ, Carballo-Franquis J, Chen A, Chen C-F, Chow JM, C\u00f3rcoles-Gonzales AD, Cross AJ, Cross A, Cruz-Benito J, Culver C, Gonz\u00e1lez SDLP, Torre EDL, Ding D, Dumitrescu E, Duran I, Eendebak P, Everitt M, Sertage IF, Frisch A, Fuhrer A, Gambetta J, Gago BG, Gomez-Mosquera J, Greenberg D, Hamamura I, Havlicek V, Hellmers J, Herok \u0141, Horii H, Hu S, Imamichi T, Itoko T, Javadi-Abhari A, Kanazawa N, Karazeev A, Krsulich K, Liu P, Luh Y, Maeng Y, Marques M, Mart\u00edn-Fern\u00e1ndez FJ, McClure DT, McKay D, Meesala S, Mezzacapo A, Moll N, Rod\u0155\u0131guez DM, Nannicini G, Nation P, Ollitrault P, O\u2019Riordan LJ, Paik H, P\u00e9rez J, Phan A, Pistoia M, Prutyanov V, Reuter M, Rice J, Davila AR, Rudy RHP, Ryu M, Sathaye N, Schnabel C, Schoute E, Setia K, Shi Y, Silva A, Siraichi Y, Sivarajah S, Smolin JA, Soeken M, Takahashi H, Tavernelli I, Taylor C, Taylour P, Trabing K, Treinish M, Turner W, Vogt-Lee D, Vuillot C, Wildstrom JA, Wilson J, Winston E, Wood C, Wood S, W\u00f6rner S, Akhalwaya IY, Zoufal C (2019) Qiskit: an open-source framework for quantum computing. Scott Aaronson and B. Toth. 2003. Simulation and synthesis of stabilizer quantum circuits"},{"issue":"4","key":"12_CR28","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1007\/s10817-019-09518-y","volume":"63","author":"L Paolini","year":"2019","unstructured":"Paolini L, Piccolo M, Zorzi M (2019) QPCF: higher-order languages and quantum circuits. J Autom Reason 63(4):941\u2013966","journal-title":"J Autom Reason"},{"key":"12_CR29","doi-asserted-by":"publisher","first-page":"129","DOI":"10.22331\/q-2019-03-11-129","volume":"3","author":"N Killoran","year":"2019","unstructured":"Killoran N, Izaac J, Quesada N, Bergholm V, Amy M, Weedbrook C (2019) Strawberry fields: a software platform for photonic quantum computing. Quantum 3:129","journal-title":"Quantum"},{"key":"12_CR30","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.cpc.2018.02.004","volume":"227","author":"S Kr\u00e4mer","year":"2018","unstructured":"Kr\u00e4mer S, Plankensteiner D, Ostermann L, Ritsch H (2018) QuantumOptics. jl: a Julia framework for simulating open quantum systems. Comput Phys Commun 227:109\u2013116","journal-title":"Comput Phys Commun"},{"key":"12_CR31","unstructured":"Google AI Quantum team (2018) Cirq. https:\/\/github.com\/quantumlib\/Cirq"},{"key":"12_CR32","first-page":"1","volume-title":"Proceedings of the Real World Domain Specific Languages Workshop 2018","author":"K Svore","year":"2018","unstructured":"Svore K, Geller A, Troyer M, Azariah J, Granade C, Heim B, Kliuchnikov V, Mykhailova M, Paz A, Roetteler M (2018) Q# enabling scalable quantum computing and development with a high-level dsl. In: Proceedings of the Real World Domain Specific Languages Workshop 2018, pp 1\u201310"},{"key":"12_CR33","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-030-01461-2_8","volume-title":"Symposium on Real-Time and Hybrid Systems","author":"S Liu","year":"2018","unstructured":"Liu S, Wang X, Zhou L, Guan J, Li Y, He Y, Duan R, Ying M (2018) Q |SI \u27e9: a quantum programming environment. In: Symposium on Real-Time and Hybrid Systems. Springer, pp 133\u2013164"},{"key":"12_CR34","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1145\/3385412.3386007","volume-title":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"B Bichsel","year":"2020","unstructured":"Bichsel B, Baader M, Gehr T, Vechev M (2020) Silq: A high-level quantum language with safe uncomputation and intuitive semantics. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, pp 286\u2013300"},{"key":"12_CR35","unstructured":"Zhao J (2020) Quantum software engineering: landscapes and horizons. arXiv preprint arXiv:2007.07047"},{"key":"12_CR36","unstructured":"Maymin P (1996) Extending the lambda calculus to express randomized and quantumized algorithms. arXiv preprint quant-ph\/9612052"},{"issue":"5","key":"12_CR37","doi-asserted-by":"publisher","first-page":"1109","DOI":"10.1137\/S0097539703432165","volume":"33","author":"A Van Tonder","year":"2004","unstructured":"Van Tonder A (2004) A lambda calculus for quantum computation. SIAM J Comput 33(5):1109\u20131135","journal-title":"SIAM J Comput"},{"issue":"4","key":"12_CR38","doi-asserted-by":"publisher","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","journal-title":"Math Struct Comput Sci"},{"key":"12_CR39","first-page":"127","volume-title":"Proceedings of the 2nd International Workshop on Quantum Programming Languages, TUCS General Publication No","author":"P Selinger","year":"2004","unstructured":"Selinger P (2004) Towards a semantics for higher-order quantum computation. In: Proceedings of the 2nd International Workshop on Quantum Programming Languages, TUCS General Publication No, vol 33, pp 127\u2013143"},{"issue":"3","key":"12_CR40","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0960129506005238","volume":"16","author":"P Selinger","year":"2006","unstructured":"Selinger P, Valiron B (2006) A lambda calculus for quantum computation with classical control. Math Struct Comput Sci 16(3):527","journal-title":"Math Struct Comput Sci"},{"key":"12_CR41","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1109\/LICS.2005.1","volume-title":"20th Annual IEEE Symposium on Logic in Computer Science (LICS\u201905)","author":"T Altenkirch","year":"2005","unstructured":"Altenkirch T, Grattage J (2005) A functional quantum programming language. In: 20th Annual IEEE Symposium on Logic in Computer Science (LICS\u201905). IEEE, pp 249\u2013258"},{"key":"12_CR42","unstructured":"Mauerer W (2005) Semantics and simulation of communication in quantum programming. arXiv preprint quant-ph\/0511145"},{"key":"12_CR43","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/2505351.2505357","volume-title":"Proceedings of 1st annual workshop on functional programming concepts in domain-specific language (FPCDS\u201913)","author":"A Lapets","year":"2013","unstructured":"Lapets A, da Silva MP, Thome M, Adler A, Beal J, Roetteler M (2013) QuaFL: a typed DSL for quantum programming. In: Proceedings of 1st annual workshop on functional programming concepts in domain-specific language (FPCDS\u201913), pp 19\u201326"},{"key":"12_CR44","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-38986-3_10","volume-title":"International Conference on Reversible Computation","author":"AS Green","year":"2013","unstructured":"Green AS, Lumsdaine PL, Ross NJ, Selinger P, Valiron B (2013) An introduction to quantum programming in quipper. In: International Conference on Reversible Computation. Springer, Berlin, pp 110\u2013124"},{"key":"12_CR45","doi-asserted-by":"crossref","unstructured":"Green AS, Lumsdaine PL, Ross NJ, Selinger P, Valiron B (2013) Quipper: a scalable quantum programming language. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI \u201913, Seattle, WA, June 16\u201319. pp 333\u2013342","DOI":"10.1145\/2499370.2462177"},{"key":"12_CR46","unstructured":"Wecker D, Svore KM (2014) LIQUi|>: a software design architecture and domain-specific language for quantum computing. arXiv:1402.4467"},{"key":"12_CR47","first-page":"164","volume-title":"Proceedings 14th International Conference on Quantum Physics and Logic (QPL 2017)","author":"F Rios","year":"2017","unstructured":"Rios F, Selinger P (2017) A categorical model for a quantum circuit description language. In: Proceedings 14th International Conference on Quantum Physics and Logic (QPL 2017), pp 164\u2013178"},{"key":"12_CR48","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-319-55911-7_33","volume-title":"International Conference on Theory and Applications of Models of Computation","author":"L Paolini","year":"2017","unstructured":"Paolini L, Zorzi M (2017) qPCF: a language for quantum circuit computations. In: International Conference on Theory and Applications of Models of Computation. Springer, Cham, pp 455\u2013469"},{"key":"12_CR49","first-page":"91","volume-title":"Proceedings of the 2nd International Workshop on Quantum Programming Languages","author":"SJ Gay","year":"2004","unstructured":"Gay SJ, Nagarajan R (2004) Communicating quantum processes. In: Proceedings of the 2nd International Workshop on Quantum Programming Languages, pp 91\u2013107"},{"key":"12_CR50","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/1040305.1040318","volume-title":"Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"SJ Gay","year":"2005","unstructured":"Gay SJ, Nagarajan R (2005) Communicating quantum processes. In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp 145\u2013157"},{"issue":"4","key":"12_CR51","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1017\/S0960129506005378","volume":"16","author":"SJ Gay","year":"2006","unstructured":"Gay SJ (2006) Quantum programming languages: survey and bibliography. Math Struct Comput Sci 16(4):581\u2013600","journal-title":"Math Struct Comput Sci"},{"key":"12_CR52","first-page":"1","volume-title":"International Workshop on Unconventional Programming Paradigms","author":"P Jorrand","year":"2004","unstructured":"Jorrand P, Lalire M (2004) From quantum physics to programming languages: a process algebraic approach. In: International Workshop on Unconventional Programming Paradigms. Springer, Berlin, pp 1\u201316"},{"key":"12_CR53","unstructured":"Lalire M, Jorrand P (2004) A process algebraic approach to concurrent and distributed quantum computation: operational semantics. arXiv preprint quant-ph\/0407005"},{"key":"12_CR54","unstructured":"Chakraborty A (2011) QuECT: a new quantum programming paradigm. arXiv preprint arXiv:1104.0497"},{"key":"12_CR55","first-page":"846","volume-title":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18\u201320","author":"J Paykin","year":"2017","unstructured":"Paykin J, Rand R, Zdancewic S (2017) QWIRE: a core language for quantum circuits. In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18\u201320. ACM, pp 846\u2013858"},{"issue":"5","key":"12_CR56","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1109\/TCAD.2018.2834427","volume":"38","author":"A Zulehner","year":"2019","unstructured":"Zulehner A, Wille R (2019) Advanced simulation of quantum computations. IEEE Trans Comput-Aided Des Integr Circuits Syst 38(5):848\u2013863","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"12_CR57","first-page":"1","volume-title":"2020 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)","author":"R Wille","year":"2020","unstructured":"Wille R, Hillmich S, Burgholzer L (2020) JKQ: JKU tools for quantum computing. In: 2020 IEEE\/ACM International Conference On Computer Aided Design (ICCAD). IEEE, pp 1\u20135"},{"key":"12_CR58","unstructured":"Smelyanskiy M, Sawaya NP, Aspuru-Guzik A (2016) qHiPSTER: the quantum high performance software testing environment. arXiv preprint arXiv:1601.07195"},{"key":"12_CR59","doi-asserted-by":"publisher","first-page":"49","DOI":"10.22331\/q-2018-01-31-49","volume":"2","author":"DS Steiger","year":"2018","unstructured":"Steiger DS, H\u00e4ner T, Troyer M (2018) ProjectQ: an open source software framework for quantum computing. Quantum 2:49","journal-title":"Quantum"},{"key":"12_CR60","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpa.2020.100051","volume":"7","author":"L Burgholzer","year":"2021","unstructured":"Burgholzer L, Wille R (2021) QCEC: A JKQ tool for quantum circuit equivalence checking. Softw Impacts 7:100051","journal-title":"Softw Impacts"},{"issue":"8","key":"12_CR61","doi-asserted-by":"publisher","first-page":"1693","DOI":"10.1016\/j.cpc.2011.04.010","volume":"182","author":"F Tabakin","year":"2011","unstructured":"Tabakin F, Juli\u00e1-D\u00edaz B (2011) QCWAVE\u2013a Mathematica quantum computer simulation update. Comput Phys Commun 182(8):1693\u20131707","journal-title":"Comput Phys Commun"},{"key":"12_CR62","doi-asserted-by":"crossref","unstructured":"Efthymiou S, Ramos-Calderer S, Bravo-Prieto C, P\u00e9rez-Salinas A, Garc\u00eda-Mart\u00edn D, Garcia-Saez A, Latorre JI, Carrazza S (2020) Qibo: a framework for quantum simulation with hardware acceleration. arXiv preprint arXiv:2009.01845","DOI":"10.1088\/2058-9565\/ac39f5"},{"key":"12_CR63","first-page":"1","volume-title":"2016 5th International Conference on Modern Circuits and Systems Technologies (MOCAST)","author":"K Prousalis","year":"2016","unstructured":"Prousalis K, Konofaos N (2016) QuCirDET: a design and simulation tool for quantum circuits. In: 2016 5th International Conference on Modern Circuits and Systems Technologies (MOCAST). IEEE, pp 1\u20134"},{"key":"12_CR64","doi-asserted-by":"crossref","unstructured":"Suzuki Y, Kawase Y, Masumura Y, Hiraga Y, Nakadai M, Chen J, Nakanishi KM, Mitarai K, Imai R, Tamiya S, Yamamoto T, Yan T, Kawakubo T, Nakagawa YO, Ibe Y, Zhang Y, Yamashita H, Yoshimura H, Hayashi A, Fujii K (2020) Qulacs: a fast and versatile quantum circuit simulator for research purpose. arXiv:2011.13524v1","DOI":"10.22331\/q-2021-10-06-559"},{"key":"12_CR65","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3065-8","volume-title":"Quantum circuit simulation","author":"GF Viamontes","year":"2009","unstructured":"Viamontes GF, Markov IL, Hayes JP (2009) Quantum circuit simulation. Springer"},{"key":"12_CR66","first-page":"464","volume":"2017","author":"N Khammassi","year":"2017","unstructured":"Khammassi N, Ashraf I, Xiang F, Almudever CG, Bertels K (2017) QX: a high-performance quantum computer simulation platform. Proc Design Autom Test Europe 2017:464\u2013469","journal-title":"Proc Design Autom Test Europe"},{"key":"12_CR67","unstructured":"Huo C (2009) A Bloch sphere animation software using a three dimensional Java simulator. Doctoral dissertation, University of Cincinnati"},{"key":"12_CR68","unstructured":"Omole V, Tyagi A, Carey C, Hanus AJ, Hancock A, Garcia A, Shedenhelm J (2020) Cirq: a python framework for creating, editing, and invoking Quantum circuits. http:\/\/sdmay20-08.sd.ece.iastate.edu\/docs\/Design-Document-v2.pdf"},{"key":"12_CR69","volume-title":"A review of freely available quantum computer simulation software","author":"JA Brandhorst-Satzkorn","year":"2012","unstructured":"Johan A. Brandhorst-Satzkorn. 2012. A review of freely available quantum computer simulation software."},{"issue":"1\u20132","key":"12_CR70","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.cpc.2005.07.006","volume":"173","author":"T Radtke","year":"2005","unstructured":"Radtke T, Fritzsche S (2005) Simulation of n-qubit quantum systems. I. Quantum registers and quantum gates. Comput Phys Commun 173(1\u20132):91\u2013113","journal-title":"Comput Phys Commun"},{"key":"12_CR71","unstructured":"Chen H, Lidar DA (2020). HOQST: Hamiltonian Open Quantum System Toolkit. arXiv preprint arXiv:2011.14046"},{"key":"12_CR72","volume-title":"The commercial prospects for quantum computing. Networked Quantum Information Technologies","author":"R Srivastava","year":"2016","unstructured":"Srivastava R, Choi I, Cook T, NQIT User Engagement Team (2016) The commercial prospects for quantum computing. Networked Quantum Information Technologies"},{"key":"12_CR73","first-page":"461","volume-title":"International Conference on Parallel Processing and Applied Mathematics","author":"I Glendinning","year":"2003","unstructured":"Glendinning I, \u00d6mer B (2003) Parallelization of the QC-lib quantum computer simulator library. In: International Conference on Parallel Processing and Applied Mathematics. Springer, Berlin, pp 461\u2013468"},{"issue":"2","key":"12_CR74","first-page":"26","volume":"1","author":"S da Silva Feitosa","year":"2016","unstructured":"da Silva Feitosa S, da Silva Bueno JA (2016) Simulating quantum parallelism in CPU and GPU using the LibQuantum library. Communications and Innovations Gazette Magazine 1(2):26\u201336","journal-title":"Communications and Innovations Gazette Magazine"},{"key":"12_CR75","unstructured":"Tolba S, Rashad MZ, El-Dosuky MA (2013) Q#, a quantum computation package for the .NET platform. arXiv preprint arXiv:1302.5133"},{"key":"12_CR76","unstructured":"Schneider SD (2000) Quantum systems simulator. Doctoral dissertation, Massachusetts Institute of Technology"},{"key":"12_CR77","unstructured":"McKay DC, Alexander T, Bello L, Biercuk MJ, Bishop L, Chen J, Chow JM, C\u00f3rcoles AD, Egger D, Filipp S, Gomez J, Hush M, Javadi-Abhari A, Moreda D, Nation P, Paulovicks B, Winston E, Wood CJ, Wootton J, Gambetta JM (2018) Qiskit backend specifications for OpenQASM and OpenPulse experiments. arXiv preprint arXiv:1809.03452"},{"key":"12_CR78","unstructured":"McCubbin CB (2000). Openquacs, an open-source quantum computation simulator in maple. Doctoral dissertation, University of Maryland, Baltimore County"},{"key":"12_CR79","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1109\/SYNASC.2009.57","volume-title":"2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","author":"S Caraiman","year":"2009","unstructured":"Caraiman S, Archip A, Manta V (2009) A grid enabled quantum computer simulator. In: 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, pp 189\u2013196"},{"key":"12_CR80","doi-asserted-by":"publisher","DOI":"10.2172\/1204068","volume-title":"QCAD simulation and optimization of semiconductor double quantum dots. Technical report","author":"E Nielsen","year":"2013","unstructured":"Nielsen E, Gao X, Kalashnikova I, Muller RP, Salinger AG, Young RW (2013) QCAD simulation and optimization of semiconductor double quantum dots. Technical report. Sandia National Laboratories"},{"key":"12_CR81","unstructured":"Kelly A (2018) Simulating quantum computers using OpenCL. arXiv preprint arXiv:1805.00988"},{"key":"12_CR82","unstructured":"Zagorodko PV (2020) Research of possibilities of quantum programming for realization of tasks of machine learning. Doctoral dissertation"},{"issue":"11","key":"12_CR83","doi-asserted-by":"publisher","first-page":"914","DOI":"10.1016\/j.cpc.2005.12.021","volume":"174","author":"B Juli\u00e1-D\u00edaz","year":"2006","unstructured":"Juli\u00e1-D\u00edaz B, Burdis JM, Tabakin F (2006) QDENSITY\u2014a Mathematica quantum computer simulation. Comput Phys Commun 174(11):914\u2013934","journal-title":"Comput Phys Commun"},{"key":"12_CR84","unstructured":"Moran CC (2016). Quintuple: a python 5-qubit quantum computer simulator to facilitate cloud quantum computing. arXiv preprint arXiv:1606.09225"},{"key":"12_CR85","doi-asserted-by":"crossref","unstructured":"Altenkirch T, Green AS (2010) The quantum IO monad. Semantic Tech Quantum Computation:173\u2013205","DOI":"10.1017\/CBO9781139193313.006"},{"key":"12_CR86","unstructured":"Cross AW (2018) The IBM Q experience and QISKit open-source quantum computing software. In: APS March Meeting Abstracts, vol 2018. pp L58-003"},{"key":"12_CR87","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/ISMVL.2006.35","volume-title":"36th International Symposium on Multiple-Valued Logic (ISMVL\u201906)","author":"MD Miller","year":"2006","unstructured":"Miller MD, Thornton MA (2006) QMDD: a decision diagram structure for reversible and quantum circuits. In: 36th International Symposium on Multiple-Valued Logic (ISMVL\u201906). IEEE, pp 30\u201330"},{"key":"12_CR88","unstructured":"Naeem W, Chuhdhry Y (2019) Q-Studio. Doctoral dissertation, Department of Computer Science, COMSATS University Islamabad, Lahore campus"},{"key":"12_CR89","volume-title":"Quantum communication and information processing","author":"TR Beals","year":"2008","unstructured":"Beals TR (2008) Quantum communication and information processing. University of California, Berkeley"},{"key":"12_CR90","unstructured":"Glos A, Miszczak JA, Ostaszweski M. QSWalk.jl: Julia package for quantum stochastic walks analysis. arXiv preprint arXiv:1801.01294"},{"key":"12_CR91","volume-title":"Quantavo: a maple toolbox for linear quantum optics","author":"A Feito","year":"2008","unstructured":"Feito A (2008) Quantavo: a maple toolbox for linear quantum optics. arXiv preprint arXiv:0806.2171"},{"key":"12_CR92","volume-title":"Registry-Spuren verursacht durch die Quantenprogrammiersprache Q","author":"M Ter\u00f6rde","year":"2019","unstructured":"Ter\u00f6rde M (2019) Registry-Spuren verursacht durch die Quantenprogrammiersprache Q"},{"key":"12_CR93","unstructured":"Dekant H, Tregillus H, Tucci R, Yin T (2019). artiste-qb-net\/quantum-fog: Python tools for analyzing both classical 29 and quantum Bayesian Networks [Electronic resource]. https:\/\/github.com\/artiste-qb-net\/quantum-fog"},{"key":"12_CR94","first-page":"52","volume":"1","author":"O Ivancova","year":"2020","unstructured":"Ivancova O, Korenkov V, Tyatyushkina O, Ulyanov S, Fukuda T (2020) Quantum supremacy in end-to-end intelligent IT. Pt. I: Quantum software engineering-quantum gate level applied models simulators. Syst Anal Sci Educ 1:52\u201384","journal-title":"Syst Anal Sci Educ"},{"key":"12_CR95","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab9359","volume-title":"staq-a full-stack quantum processing toolkit","author":"M Amy","year":"2020","unstructured":"Amy M, Gheorghiu V (2020) staq-a full-stack quantum processing toolkit. Quantum Sci Technol"},{"issue":"2","key":"12_CR96","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevApplied.4.024012","volume":"4","author":"N Hincks","year":"2015","unstructured":"Hincks N, Granade CE, Borneman T, Cory DG (2015) Controlling quantum devices with nonlinear hardware. Physical Rev Appl 4(2):024012","journal-title":"Physical Rev Appl"},{"issue":"6","key":"12_CR97","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1016\/j.cpc.2008.03.007","volume":"179","author":"G T\u00f3th","year":"2008","unstructured":"T\u00f3th G (2008) QUBIT4MATLAB V3.0: a program package for quantum information science and quantum optics for MATLAB. Comput Phys Commun 179(6):430\u2013437","journal-title":"Comput Phys Commun"},{"issue":"1","key":"12_CR98","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1038\/s41598-018-37186-2","volume":"9","author":"T Jones","year":"2019","unstructured":"Jones T, Brown A, Bush I, Benjamin SC (2019) QuEST and high performance simulation of quantum computers. Scientific Rep 9(1):1\u201311","journal-title":"Scientific Rep"},{"key":"12_CR99","unstructured":"Patrzyk J (2014) Graphical and programming support for simulations of quantum computations. Master of Science Thesis supervised by Katarzyna Rycerz"},{"issue":"1","key":"12_CR100","doi-asserted-by":"publisher","first-page":"103","DOI":"10.7494\/csci.2015.16.1.103","volume":"16","author":"J Patrzyk","year":"2015","unstructured":"Patrzyk J, Patrzyk B, Rycerz K, Bubak M (2015) Towards a novel environment for simulation of quantum computing. Comput Sci 16(1):103\u2013129","journal-title":"Comput Sci"},{"key":"12_CR101","volume-title":"TEQUILA: a platform for rapid development of quantum algorithms","year":"2020","unstructured":"Kottmann JS, Alperin-Lea S, Tamayo-Mendoza T, Cervera-Lierta A, Lavigne C, Yen T-C, Verteletskyi V, Schleich P, Anand A, Degroote M, Chaney S, Kesibi M, Curnow NG, Solo B, Tsilimigkounakis G, Zendejas-Morales C, Izmaylov AF, Aspuru-Guzik A (2020) TEQUILA: a platform for rapid development of quantum algorithms. arXiv:2011.03057v1"},{"key":"12_CR102","doi-asserted-by":"crossref","unstructured":"Gill SS, Kumar A, Singh H, Singh M, Kaur K, Usman M, Buyya R (2020) Quantum computing: a taxonomy, systematic review and future directions. arXiv preprint arXiv:2010.15559","DOI":"10.1002\/spe.3039"},{"issue":"5","key":"12_CR103","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/MS.2021.3087755","volume":"38","author":"JL Hevia","year":"2021","unstructured":"Hevia JL, Peterssen G, Ebert C, Piattini M (2021) Quantum computing. IEEE Softw 38(5):7\u201315","journal-title":"IEEE Softw"},{"key":"12_CR104","unstructured":"Farhi E, Goldstone J, Gutmann S (2014) A quantum approximate optimization algorithm. arXiv preprint arXiv:1411.4028"},{"key":"12_CR105","doi-asserted-by":"publisher","first-page":"130","DOI":"10.22331\/q-2019-03-25-130","volume":"3","author":"R LaRose","year":"2019","unstructured":"LaRose R (2019) Overview and comparison of gate level quantum software platforms. Quantum 3:130","journal-title":"Quantum"},{"issue":"1","key":"12_CR106","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/MITP.2020.3019522","volume":"23","author":"M Piattini","year":"2021","unstructured":"Piattini M, Serrano M, P\u00e9rez-Castillo R, Peterssen G, Hevia JL (2021) Towards a quantum software engineering. IT Professional, IEEE 23(1):62\u201366. https:\/\/doi.org\/10.1109\/MITP.2020.3019522","journal-title":"IT Professional, IEEE"},{"issue":"3","key":"12_CR107","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/3402127.3402131","volume":"45","author":"M Piattini","year":"2020","unstructured":"Piattini M, Peterssen G, P\u00e9rez-Castillo R (2020) Quantum computing: a new software engineering golden age. ACM SIGSOFT Softw Eng Newsl 45(3):12\u201314","journal-title":"ACM SIGSOFT Softw Eng Newsl"}],"container-title":["Quantum Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-05324-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,12]],"date-time":"2022-10-12T13:29:33Z","timestamp":1665581373000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-05324-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031053238","9783031053245"],"references-count":107,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-05324-5_12","relation":{},"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"13 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}