{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:33:26Z","timestamp":1791459206197,"version":"4.3.4"},"reference-count":161,"publisher":"Association for Computing Machinery (ACM)","issue":"8","license":[{"start":{"date-parts":[[2022,12,23]],"date-time":"2022-12-23T00:00:00Z","timestamp":1671753600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"QHealth: Quantum Pharmacogenomics Applied to Aging","award":["00135977, MIG-20201059"],"award-info":[{"award-number":["00135977, MIG-20201059"]}]},{"name":"2020 CDTI Missions Program"},{"name":"SMOQUIN","award":["PID2019-104791RB-I00"],"award-info":[{"award-number":["PID2019-104791RB-I00"]}]},{"name":"QSERV-UCLM","award":["PID2021-124054OB-C32"],"award-info":[{"award-number":["PID2021-124054OB-C32"]}]},{"name":"Spanish Ministry of Science and Innovation (MICINN) and UE"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2023,8,31]]},"abstract":"<jats:p>Quantum computing is the latest revolution in computing and will probably come to be seen as an advance as important as the steam engine or the information society. In the last few decades, our understanding of quantum computers has expanded and multiple efforts have been made to create languages, libraries, tools, and environments to facilitate their programming. Nonetheless, quantum computers are complex systems at the bottom of a stack of layers that programmers need to understand. Hence, efforts towards creating quantum programming languages and computing environments that can abstract low-level technology details have become crucial steps to achieve a useful quantum computing technology. However, most of these environments still lack many of the features that would be desirable, such as those outlined in The Talavera Manifesto for Quantum Software Engineering and Programming. For advancing quantum computing, we will need to develop quantum software engineering techniques and tools to ensure the feasibility of this new type of quantum software. To contribute to this goal, this paper provides a review of the main quantum software components and platforms. We also propose a set of quality requirements for the development of quantum software platforms and the conduct of their quality assessment.<\/jats:p>","DOI":"10.1145\/3548679","type":"journal-article","created":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T08:18:29Z","timestamp":1658132309000},"page":"1-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":74,"title":["Quantum Software Components and Platforms: Overview and Quality Assessment"],"prefix":"10.1145","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0962-5659","authenticated-orcid":false,"given":"Manuel A.","family":"Serrano","sequence":"first","affiliation":[{"name":"Institute of Technologies and Information Systems, University of Castilla-La Mancha, Ciudad Real, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0470-609X","authenticated-orcid":false,"given":"Jos\u00e9 A.","family":"Cruz-Lemus","sequence":"additional","affiliation":[{"name":"Institute of Technologies and Information Systems, University of Castilla-La Mancha, Ciudad Real, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9271-3184","authenticated-orcid":false,"given":"Ricardo","family":"Perez-Castillo","sequence":"additional","affiliation":[{"name":"Faculty of Social Sciences &amp; IT, University of Castilla-La Mancha, Talavera de la Reina (Toledo), Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7212-8279","authenticated-orcid":false,"given":"Mario","family":"Piattini","sequence":"additional","affiliation":[{"name":"Institute of Technologies and Information Systems, University of Castilla-La Mancha, Ciudad Real, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,12,23]]},"reference":[{"key":"e_1_3_3_2_2","unstructured":"Scott Aaronson and B. Toth. 2003. Simulation and Synthesis of Stabilizer Quantum Circuits."},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0308-62"},{"key":"e_1_3_3_4_2","unstructured":"Ali J. Abhari Arvin Faruque Mohammad J. Dousti Lukas Svec Oana Catu Amlan Chakrabati Chen-Fu Chiang Seth Vanderwilt John Black and Fred Chong. 2012. Scaffold: Quantum programming language. Princeton Univ. NJ Dept. of Computer Science."},{"key":"e_1_3_3_5_2","unstructured":"J. Abhijith Adetokunbo Adedoyin John Ambrosiano Petr Anisimov Andreas B\u00e4rtschi William Casper Gopinath Chennupati Carleton Coffrin Hristo Djidjev David Gunter Satish Karra Nathan Lemons Shizeng Lin Alexander Malyzhenkov David Mascarenas Susan Mniszewski Balu Nadiga Daniel O'Malley Diane Oyen Scott Pakin Lakshman Prasad Randy Roberts Phillip Romero Nandakishore Santhi Nikolai Sinitsyn Pieter J. Swart James G. Wendelberger Boram Yoon Richard Zamora Wei Zhu Stephan Eidenbenz Patrick J. Coles Marc Vuffray and Andrey Y. Lokhov. 2018. Quantum algorithm implementations for beginners. arXiv e-prints arXiv:1804.03719v2."},{"key":"e_1_3_3_6_2","unstructured":"Gadi Aleksandrowicz Thomas Alexander Panagiotis Barkoutsos Luciano Bello Yael Ben-Haim D. Bucher F. J. Cabrera-Hern\u00e1ndez J. Carballo-Franquis A. Chen C.-F. Chen J. M. Chow A. D. C\u00f3rcoles-Gonzales A. J. Cross A. Cross J. Cruz-Benito C. Culver S. D. L. P. Gonz\u00e1lez E. D. L. Torre D. Ding E. Dumitrescu I. Duran P. Eendebak M. Everitt I. F. Sertage A. Frisch A. Fuhrer J. Gambetta B. G. Gago J. Gomez-Mosquera D. Greenberg I. Hamamura V. Havlicek J. Hellmers \u0141. Herok H. Horii S. Hu T. Imamichi T. Itoko A. Javadi-Abhari N. Kanazawa A. Karazeev K. Krsulich P. Liu Y. Luh Y. Maeng M. Marques F. J. Mart\u00edn-Fern\u00e1ndez D. T. McClure D. McKay S. Meesala A. Mezzacapo N. Moll D. M. Rod\u0155\u0131guez G. Nannicini P. Nation P. Ollitrault L. J. O'Riordan H. Paik J. P\u00e9rez A. Phan M. Pistoia V. Prutyanov M. Reuter J. Rice A. R. Davila R. H. P. Rudy M. Ryu N. Sathaye C. Schnabel E. Schoute K. Setia Y. Shi A. Silva Y. Siraichi S. Sivarajah J. A. Smolin M. Soeken H. Takahashi I. Tavernelli C. Taylor P. Taylour K. Trabing M. Treinish W. Turner D. Vogt-Lee C. Vuillot J. A. Wildstrom J. Wilson E. Winston C. Wood S. Wood S. W\u00f6rner I. Y. Akhalwaya and C. Zoufal. 2019. Qiskit: An open-source framework for quantum computing."},{"key":"e_1_3_3_7_2","first-page":"173","volume-title":"Semantic Techniques in Quantum Computation","author":"Altenkirch Thorsten","year":"2010","unstructured":"Thorsten Altenkirch and Alexander S. Green. 2010. The quantum IO monad. Semantic Techniques in Quantum Computation. 173\u2013205."},{"key":"e_1_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.1"},{"key":"e_1_3_3_9_2","first-page":"18381","volume-title":"Quantum Programming Languages. Report from Dagstuhl Seminar","author":"Amy Matthew","year":"2018","unstructured":"Matthew Amy. 2018a. Tools for Quantum Optimization. Michele Mosca, Martin Roetteler, and Peter Selinger (eds.). Quantum Programming Languages. Report from Dagstuhl Seminar 18381."},{"key":"e_1_3_3_10_2","first-page":"1","article-title":"Towards large-scale functional verification of universal quantum circuits","volume":"287","author":"Amy Matthew","year":"2018","unstructured":"Matthew Amy. 2018b. Towards large-scale functional verification of universal quantum circuits. Proceedings QPL 2018, EPTCS 287, (2019), 1\u201321. arXiv:1901.09476.","journal-title":"Proceedings QPL 2018"},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab9359"},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703432165"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-019-1666-5"},{"key":"e_1_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/abdca6"},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/3387940.3392184"},{"key":"e_1_3_3_16_2","volume-title":"Quantum Communication and Information Processing","author":"Beals Travis R.","year":"2008","unstructured":"Travis R. Beals. 2008. Quantum Communication and Information Processing. University of California, Berkeley."},{"issue":"2","key":"e_1_3_3_17_2","first-page":"181","article-title":"Toward an architecture for quantum programming","volume":"25","author":"Bettelli Stefano","year":"2003","unstructured":"Stefano Bettelli, Tommaso Calarco, and Luciano Serafini. 2003. Toward an architecture for quantum programming. The European Physical Journal D-Atomic, Molecular, Optical and Plasma Physics 25, 2 (2003), 181\u2013200.","journal-title":"The European Physical Journal D-Atomic, Molecular, Optical and Plasma Physics"},{"key":"e_1_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"e_1_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2018.3571234"},{"key":"e_1_3_3_20_2","first-page":"393","volume-title":"Proc. CASCON 19","author":"Bozzo-Rey Mehdi","year":"2019","unstructured":"Mehdi Bozzo-Rey, John Longbotton, and Hausi A. M\u00fcller. 2019. Quantum computing: Challenges and opportunities. Proc. CASCON 19, November 2019, Toronto, Canada, 393\u2013394."},{"key":"e_1_3_3_21_2","unstructured":"Johan A. Brandhorst-Satzkorn. 2012. A Review of Freely Available Quantum Computer Simulation Software."},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpa.2020.100051"},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.95.022316"},{"key":"e_1_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2009.57"},{"key":"e_1_3_3_25_2","unstructured":"Arnab Chakraborty. 2011. QuECT: A new quantum programming paradigm. arXiv preprint arXiv:1104.0497 ."},{"key":"e_1_3_3_26_2","unstructured":"Huo Chen and Daniel A. Lidar. 2020. HOQST: Hamiltonian open quantum system toolkit. arXiv preprint arXiv:2011.14046 ."},{"key":"e_1_3_3_27_2","first-page":"549","article-title":"Programming languages and compiler design for realistic quantum hardware","volume":"180","author":"Chong Frederic T.","year":"2017","unstructured":"Frederic T. Chong, Diana Franklin, and Margaret Martonosi. 2017. Programming languages and compiler design for realistic quantum hardware. Nature 180 (2017), 549.","journal-title":"Nature"},{"key":"e_1_3_3_28_2","article-title":"The IBM Q experience and QISKit open-source quantum computing software","author":"Cross Andrew W.","year":"2018","unstructured":"Andrew W. Cross. 2018. The IBM Q experience and QISKit open-source quantum computing software. In APS March Meeting Abstracts 2018, L58\u2013003.","journal-title":"APS March Meeting Abstracts"},{"key":"e_1_3_3_29_2","unstructured":"Andrew W. Cross Lev S. Bishop John A. Smolin and Jay M. Gambetta. 2017. Open quantum assembly language. arXiv preprint arXiv:1707.03429 ."},{"key":"e_1_3_3_30_2","doi-asserted-by":"crossref","unstructured":"Andrew W. Cross Ali Javadi-Abhari Thomas Alexander Niel de Beaudrap Lev S. Bishop Steven Heidel Colm Ryan John Smolin Jay M. Gambetta and Blake R. Johnson. 2022. OpenQASM 3: A broader and deeper quantum assembly language. arXiv:2104.14722v1.","DOI":"10.1145\/3505636"},{"key":"e_1_3_3_31_2","first-page":"239","volume-title":"QUATIC 2021, CCIS","author":"Cruz-Lemus Jos\u00e9 A.","year":"2021","unstructured":"Jos\u00e9 A. Cruz-Lemus, Luis A. Marcelo, and Mario Piattini. 2021. Towards a set of metrics for quantum circuits understandability. In QUATIC 2021, CCIS, A. C. R. Paiva, A. R. Cavalli, P. Ventura Martins, and R. P\u00e9rez-Castillo (eds.). Springer, 1439 (2021), 239\u2013249"},{"issue":"2","key":"e_1_3_3_32_2","first-page":"26","article-title":"Simulating quantum parallelism in CPU and GPU using the LibQuantum library","volume":"1","author":"Feitosa Samuel da Silva","year":"2016","unstructured":"Samuel da Silva Feitosa and Joao A. da Silva Bueno. 2016. Simulating quantum parallelism in CPU and GPU using the LibQuantum library. Communications and Innovations Gazette Magazine 1, 2 (2016), 26\u201336.","journal-title":"Communications and Innovations Gazette Magazine"},{"key":"e_1_3_3_33_2","unstructured":"Henning Dekant Henry Tregillus Robert Tucci and Tao Yin. 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":"e_1_3_3_34_2","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1992.0167"},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/1\/1\/015003"},{"key":"e_1_3_3_36_2","doi-asserted-by":"publisher","DOI":"10.1002\/1521-3978(200009)48:9\/11<771::AID-PROP771>3.0.CO;2-E"},{"key":"e_1_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1088\/1361-6633\/aab406"},{"key":"e_1_3_3_38_2","doi-asserted-by":"crossref","unstructured":"Stavros Efthymiou Sergi Ramos-Calderer Carlos Bravo-Prieto Adri\u00e1n P\u00e9rez-Salinas Diego Garc\u00eda-Mart\u00edn Artur Garcia-Saez Jos\u00e9 Ignacio Latorre and Stefano Carrazza. 2020. Qibo: A framework for quantum simulation with hardware acceleration. arXiv preprint arXiv:2009.01845 .","DOI":"10.1088\/2058-9565\/ac39f5"},{"key":"e_1_3_3_39_2","unstructured":"EQF - European Quantum Flagship. 2020. Strategic research agenda. (February 2020)."},{"key":"e_1_3_3_40_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-019-13068-7"},{"key":"e_1_3_3_41_2","unstructured":"Alvaro Feito. 2008. Quantavo: A maple toolbox for linear quantum optics. arXiv preprint arXiv:0806.2171 ."},{"key":"e_1_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2016.09.007"},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/TQE.2021.3053921"},{"issue":"6","key":"e_1_3_3_44_2","article-title":"Simulating physics with computers","volume":"21","author":"Feynman Richard P.","year":"1982","unstructured":"Richard P. Feynman. 1982. Simulating physics with computers. Int. J. Theor. Phys. 21, 6\/7 (1982).","journal-title":"Int. J. Theor. Phys."},{"key":"e_1_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2419"},{"key":"e_1_3_3_46_2","unstructured":"Siddhant Garg and Goutham Ramakrishnan. 2020. Advances in quantum deep learning: An overview. arXiv preprint arXiv:2005.04316 ."},{"key":"e_1_3_3_47_2","first-page":"1","article-title":"Quantum programming language: A systematic review of research topic and top cited languages","author":"Garhwal Sunita","year":"2019","unstructured":"Sunita Garhwal, Maryam Ghorani, and Amir Ahmad. 2019. Quantum programming language: A systematic review of research topic and top cited languages. Archives of Computational Methods in Engineering. 1\u201322.","journal-title":"Archives of Computational Methods in Engineering"},{"key":"e_1_3_3_48_2","first-page":"91","volume-title":"Proceedings of the 2nd International Workshop on Quantum Programming Languages","author":"Gay Simon J.","year":"2004","unstructured":"Simon J. Gay and Rajagopal Nagarajan. 2004. Communicating quantum processes. Proceedings of the 2nd International Workshop on Quantum Programming Languages (2004), 91\u2013107."},{"key":"e_1_3_3_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040318"},{"key":"e_1_3_3_50_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005378"},{"key":"e_1_3_3_51_2","unstructured":"Alan Geller. 2020. Introducing quantum intermediate representation (QIR). Retrieved 03\/22\/2021 from https:\/\/devblogs.microsoft.com\/qsharp\/introducing-quantum-intermediate-representation-qir\/."},{"key":"e_1_3_3_52_2","unstructured":"Vlad Gheorghiu. 2014. Quantum++: A modern C++ quantum computing library. arXiv preprint arXiv:1412.4704 ."},{"key":"e_1_3_3_53_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.3039"},{"key":"e_1_3_3_54_2","first-page":"461","volume-title":"International Conference on Parallel Processing and Applied Mathematics","author":"Glendinning Ian","year":"2003","unstructured":"Ian Glendinning and Bernhard \u00d6mer. 2003. Parallelization of the QC-lib quantum computer simulator library. In International Conference on Parallel Processing and Applied Mathematics. Springer, Berlin, 461\u2013468."},{"key":"e_1_3_3_55_2","article-title":"Wine cellar discussion on quantum programming languages","author":"Glesner Sabine","year":"2018","unstructured":"Sabine Glesner. 2018. Wine cellar discussion on quantum programming languages. Dagstuhl Seminar 18381 on Quantum Programming Languages (2018).","journal-title":"Dagstuhl Seminar 18381 on Quantum Programming Languages"},{"key":"e_1_3_3_56_2","unstructured":"Google AI Quantum Team. 2018. Cirq. https:\/\/github.com\/quantumlib\/Cirq."},{"key":"e_1_3_3_57_2","volume-title":"QML: A Functional Quantum Programming Language","author":"Grattage Johnathan","year":"2006","unstructured":"Johnathan Grattage. 2006. QML: A Functional Quantum Programming Language. Doctoral dissertation, Ph.D. Thesis, The University of Nottingham."},{"key":"e_1_3_3_58_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38986-3_10"},{"key":"e_1_3_3_59_2","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_3_60_2","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"e_1_3_3_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2016.73"},{"key":"e_1_3_3_62_2","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694357"},{"key":"e_1_3_3_63_2","first-page":"1","article-title":"A verified optimizer for quantum circuits","volume":"5","author":"Hietala Kesha","year":"2020","unstructured":"Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, and Michael Hicks. 2020. A verified optimizer for quantum circuits. ACM on Programming Languages 5 (2020), 1\u201329.","journal-title":"ACM on Programming Languages"},{"key":"e_1_3_3_64_2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevApplied.4.024012"},{"key":"e_1_3_3_65_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.3064"},{"key":"e_1_3_3_66_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2021.3087755"},{"key":"e_1_3_3_67_2","volume-title":"A Bloch Sphere Animation Software Using a Three Dimensional Java Simulator","author":"Huo Changming","year":"2009","unstructured":"Changming Huo. 2009. A Bloch Sphere Animation Software Using a Three Dimensional Java Simulator. Doctoral dissertation, University of Cincinnati."},{"key":"e_1_3_3_68_2","unstructured":"IDB Interamerican Development Bank. 2019. Quantum technologies. Digital transformation social impact and cross-sector disruption."},{"key":"e_1_3_3_69_2","unstructured":"ISO 2011. ISO\/IEC 25010:2011. Systems and Software Engineering \u2014 Systems and Software Quality Requirements and Evaluation (SQuaRE) \u2014 System and software quality models. ISO."},{"key":"e_1_3_3_70_2","doi-asserted-by":"publisher","DOI":"10.37005\/2071-9612-2020-1-52-84"},{"key":"e_1_3_3_71_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2014.12.001"},{"key":"e_1_3_3_72_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-019-47174-9"},{"key":"e_1_3_3_73_2","first-page":"1","volume-title":"International Workshop on Unconventional Programming Paradigms","author":"Jorrand Philippe","year":"2004","unstructured":"Philippe Jorrand and Marie Lalire. 2004. From quantum physics to programming languages: A process algebraic approach. In International Workshop on Unconventional Programming Paradigms. Springer, Berlin, 1\u201316."},{"key":"e_1_3_3_74_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2005.12.021"},{"key":"e_1_3_3_75_2","unstructured":"Adam Kelly. 2018. Simulating quantum computers using OpenCL. arXiv preprint arXiv:1805.00988 ."},{"key":"e_1_3_3_76_2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927034"},{"key":"e_1_3_3_77_2","unstructured":"Nader Khammassi Gian G. Guerreschi Imran Ashraf J. W. Hogaboam Carmen G. Almudever and Koen Bertels. 2018. cQASM v1.0: Towards a common quantum assembly language. arXiv:1805.09607v1."},{"key":"e_1_3_3_78_2","doi-asserted-by":"crossref","unstructured":"Nader Khammassi I. Ashraf J. von Someren R. Nane A. M. Krol M. A. Rol L. Lao K. Bertels and C. G. Almudever. 2020. OpenQL: A portable quantum programming framework for quantum accelerators. arXiv:2005.13283v1.","DOI":"10.1145\/3474222"},{"key":"e_1_3_3_79_2","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-03-11-129"},{"key":"e_1_3_3_80_2","doi-asserted-by":"crossref","unstructured":"Jakob S. Kottmann Sumner Alperin-Lea Teresa Tamayo-Mendoza Alba Cervera-Lierta Cyrille Lavigne Tzu-Ching Yen Vladyslav Verteletskyi Philipp Schleich Abhinav Anand Matthias Degroote Skylar Chaney Maha Kesibi Naomi Grace Curnow Brandon Solo Georgios Tsilimigkounakis Claudia Zendejas-Morales Artur F. Izmaylov and Al\u00e1n Aspuru-Guzik. 2020. TEQUILA: A platform for rapid development of quantum algorithms. arXiv:2011.03057v1.","DOI":"10.1088\/2058-9565\/abe567"},{"key":"e_1_3_3_81_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2018.02.004"},{"key":"e_1_3_3_82_2","unstructured":"Marie Lalire and Phillipe Jorrand. 2004. A process algebraic approach to concurrent and distributed quantum computation: Operational semantics. arXiv preprint quant-ph\/0407005 ."},{"key":"e_1_3_3_83_2","doi-asserted-by":"publisher","DOI":"10.1145\/2505351.2505357"},{"key":"e_1_3_3_84_2","doi-asserted-by":"publisher","DOI":"10.22331\/q-2019-03-25-130"},{"key":"e_1_3_3_85_2","doi-asserted-by":"crossref","unstructured":"Ang Li and Sriram Krishnamoorthy. 2020. QASMBench: A low-level QASM benchmark suite for NISQ evaluation and simulation. arXiv:2005.13018v1.","DOI":"10.1145\/3550488"},{"key":"e_1_3_3_86_2","first-page":"133","volume-title":"Symposium on Real-Time and Hybrid Systems","author":"Liu Shusen","year":"2018","unstructured":"Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, and Mingsheng Ying. 2018. Q |SI \u27e9: A quantum programming environment. In Symposium on Real-Time and Hybrid Systems. Springer, 133\u2013164."},{"key":"e_1_3_3_87_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2013.6657075"},{"key":"e_1_3_3_88_2","unstructured":"Wolfgang Mauerer. 2005. Semantics and simulation of communication in quantum programming. arXiv preprint quant-ph\/0511145 ."},{"key":"e_1_3_3_89_2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2884353"},{"key":"e_1_3_3_90_2","unstructured":"Philip Maymin. 1996. Extending the lambda calculus to express randomized and quantumized algorithms. arXiv preprint quant-ph\/9612052 ."},{"key":"e_1_3_3_91_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICRC.2018.8638598"},{"key":"e_1_3_3_92_2","unstructured":"New Journal of Physics"},{"key":"e_1_3_3_93_2","volume-title":"Openquacs, An Open-Source Quantum Computation Simulator in Maple","author":"McCubbin Christopher B.","year":"2000","unstructured":"Christopher B. McCubbin. 2000. Openquacs, An Open-Source Quantum Computation Simulator in Maple. Doctoral dissertation, University of Maryland, Baltimore County."},{"key":"e_1_3_3_94_2","unstructured":"David C. McKay Thomas Alexander Luciano Bello Michael J. Biercuk Lev Bishop Jiayin Chen Jerry M. Chow Antonio D. C\u00f3rcoles Daniel Egger Stefan Filipp Juan Gomez Michael Hush Ali Javadi-Abhari Diego Moreda Paul Nation Brent Paulovicks Erick Winston Christopher J. Wood James Wootton and Jay M. Gambetta. 2018. Qiskit backend specifications for OpenQASM and OpenPulse experiments. arXiv preprint arXiv:1809.03452 ."},{"key":"e_1_3_3_95_2","article-title":"Quantum natural language processing on near-term quantum computers","author":"Meichanetzidis Konstantinos","year":"2020","unstructured":"Konstantinos Meichanetzidis, Stefano Gogioso, Giovanni De Felice, Nicol\u00f2 Chiappori, Alexis Toumi, and Bob Coecke. 2020. Quantum natural language processing on near-term quantum computers. Submitted to Quantum Physics and Logic (QPL), (2020). arXiv:2005.04147v1.","journal-title":"Submitted to Quantum Physics and Logic (QPL)"},{"key":"e_1_3_3_96_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2006.35"},{"key":"e_1_3_3_97_2","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-03-22-415"},{"key":"e_1_3_3_98_2","unstructured":"Hynek Mlnarik. 2007. Operational semantics and type soundness of quantum programming language LanQ. arXiv preprint arXiv:0708.0890 ."},{"key":"e_1_3_3_99_2","doi-asserted-by":"publisher","DOI":"10.1142\/S0219749908004031"},{"key":"e_1_3_3_100_2","unstructured":"Christine C. Moran. 2016. Quintuple: A Python 5-qubit quantum computer simulator to facilitate cloud quantum computing. arXiv preprint arXiv:1606.09225 ."},{"key":"e_1_3_3_101_2","doi-asserted-by":"publisher","DOI":"10.1109\/QCE49297.2020.00056"},{"key":"e_1_3_3_102_2","volume-title":"Q-Studio","author":"Naeem Waleed","year":"2019","unstructured":"Waleed Naeem and Yousaf Chuhdhry. 2019. Q-Studio. Doctoral dissertation, Department of Computer Science, COMSATS University Islamabad, Lahore campus."},{"key":"e_1_3_3_103_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-018-0072-4"},{"key":"e_1_3_3_104_2","unstructured":"Y. Naveh. (June 23 2021). Quantum software development is still in its infancy. Retrieved from https:\/\/www.forbes.com\/sites\/forbestechcouncil\/2021\/06\/23\/quantum-software-development-is-still-in-its-infancy."},{"key":"e_1_3_3_105_2","article-title":"QCAD simulation and optimization of semiconductor double quantum dots","author":"Nielsen Erik","year":"2013","unstructured":"Erik Nielsen, Xujiao Gao, Irina Kalashnikova, Richard P. Muller, Andrew G. Salinger, and Ralph W. Young. 2013. QCAD simulation and optimization of semiconductor double quantum dots. Tech. Rep., Sandia National Laboratories.","journal-title":"Tech. Rep."},{"key":"e_1_3_3_106_2","volume-title":"A Procedural Formalism for Quantum Computing","author":"\u00d6mer Bernhard","year":"1998","unstructured":"Bernhard \u00d6mer. 1998. A Procedural Formalism for Quantum Computing. Master's thesis. Department of Theoretical Physics, Technical University of Vienna."},{"key":"e_1_3_3_107_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10773-005-7071-x"},{"key":"e_1_3_3_108_2","unstructured":"Victory Omole Akhilesh Tyagi Calista Carey A. J. Hanus Andrew Hancock Austin Garcia and Jake Shedenhelm. 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":"e_1_3_3_109_2","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2016.7761637"},{"key":"e_1_3_3_110_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55911-7_33"},{"key":"e_1_3_3_111_2","first-page":"133","volume-title":"2018 Joint International Workshop on Linearity and Trends in Linear Logic and Applications, Linearity-TLLA 2018","volume":"292","author":"Paolini Luca","year":"2018","unstructured":"Luca Paolini, Luca Roversi, and Margherita Zorzi. 2018. Quantum programming made easy. In 2018 Joint International Workshop on Linearity and Trends in Linear Logic and Applications, Linearity-TLLA 2018, 292 (2018). 133\u2013147."},{"key":"e_1_3_3_112_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-019-09518-y"},{"key":"e_1_3_3_113_2","volume-title":"Graphical and Programming Support for Simulations of Quantum Computations","author":"Patrzyk Joanna","year":"2014","unstructured":"Joanna Patrzyk. 2014. Graphical and Programming Support for Simulations of Quantum Computations. Master of Science thesis supervised by Katarzyna Rycerz."},{"key":"e_1_3_3_114_2","doi-asserted-by":"publisher","DOI":"10.7494\/csci.2015.16.1.103"},{"key":"e_1_3_3_115_2","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009894"},{"key":"e_1_3_3_116_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2020.102933"},{"key":"e_1_3_3_117_2","volume-title":"Paper presented at the 43rd ACM\/IEEE International Conference on Software Engineering Workshops. 2021 IEEE\/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)","author":"P\u00e9rez-Castillo Ricardo","year":"2021","unstructured":"Ricardo P\u00e9rez-Castillo, Luis Jim\u00e9nez-Navajas, and Mario Piattini. 2021b. Modelling quantum circuits with UML. Paper presented at the 43rd ACM\/IEEE International Conference on Software Engineering Workshops. 2021 IEEE\/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE), Virtual (originally in Madrid, Spain)."},{"key":"e_1_3_3_118_2","unstructured":"Ricardo P\u00e9rez-Castillo Manuel A. Serrano Jos\u00e9 A. Cruz-Lemus and Mario Piattini. 2022. Guidelines to Use the Incremental Commitment Spiral Model for Developing Quantum-Classical Software. In press. 2022"},{"key":"e_1_3_3_119_2","doi-asserted-by":"crossref","unstructured":"G. Peterssen M. Piattini and J. L. Hevia. 2022. Practical quantum computing: Challenges of quantum software development. QuantumPath Blog. https:\/\/www.quantumpath.es\/2022\/01\/31\/practical-quantum-computing-challenges-of-quantum-software-development\/.","DOI":"10.1007\/978-3-031-05324-5_13"},{"key":"e_1_3_3_120_2","volume-title":"The Talavera Manifesto for Quantum Software Engineering and Programming","author":"Piattini Mario","year":"2020","unstructured":"Mario Piattini, Guido Peterssen, Ricardo P\u00e9rez-Castillo, Jos\u00e9 L. Hevia, Manuel A. Serrano, Guillermo Hern\u00e1ndez, Ignacio Garc\u00eda Rodr\u00edguez de Guzm\u00e1n, Claudo A. Paradela, Macario Polo, Ezequiel Murina, Luis Jim\u00e9nez, Juan C. Marque\u00f1o, Rams\u00e9s Gallego, Jordi Tura, Frank Phillipson, Juan M. Murillo, Alfonso Ni\u00f1o, and Mois\u00e9s Rodr\u00edguez. 2020a. The Talavera Manifesto for Quantum Software Engineering and Programming. http:\/\/ceur-ws.org\/Vol-2561\/paper0.pdf."},{"key":"e_1_3_3_121_2","doi-asserted-by":"publisher","DOI":"10.1145\/3402127.3402131"},{"key":"e_1_3_3_122_2","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2020.3019522"},{"key":"e_1_3_3_123_2","doi-asserted-by":"publisher","DOI":"10.1109\/MOCAST.2016.7495162"},{"key":"e_1_3_3_124_2","volume-title":"Cove: A Practical Quantum Computer Programming Framework","author":"Purkeypile Matt","year":"2009","unstructured":"Matt Purkeypile. 2009. Cove: A Practical Quantum Computer Programming Framework. Ph.D. dissertation. Colorado Technical University. https:\/\/arxiv.org\/abs\/0911.2423."},{"key":"e_1_3_3_125_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2005.07.006"},{"key":"e_1_3_3_126_2","unstructured":"Salonik Resch and Ulya R. Karpuzcu. 2019. Quantum computing: An overview across the system stack. arXiv:1905.07240v1."},{"key":"e_1_3_3_127_2","first-page":"164","volume-title":"Proceedings 14th International Conference on Quantum Physics and Logic (QPL 2017)","author":"Rios Francisco","year":"2017","unstructured":"Francisco Rios and Peter Selinger. 2017. A categorical model for a quantum circuit description language. In Proceedings 14th International Conference on Quantum Physics and Logic (QPL 2017). 164\u2013178."},{"key":"e_1_3_3_128_2","doi-asserted-by":"publisher","DOI":"10.5555\/3179330.3179331"},{"key":"e_1_3_3_129_2","doi-asserted-by":"publisher","DOI":"10.1145\/2431211.2431220"},{"key":"e_1_3_3_130_2","doi-asserted-by":"publisher","DOI":"10.5555\/648085.747181"},{"key":"e_1_3_3_131_2","volume-title":"Quantum Systems Simulator","author":"Schneider Scott D.","year":"2000","unstructured":"Scott D. Schneider. 2000. Quantum Systems Simulator. Doctoral dissertation, Massachusetts Institute of Technology."},{"key":"e_1_3_3_132_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_3_3_133_2","first-page":"127","article-title":"Towards a semantics for higher-order quantum computation","author":"Selinger Peter","year":"2004","unstructured":"Peter Selinger. 2004b. Towards a semantics for higher-order quantum computation. In Proceedings of the 2nd International Workshop on Quantum Programming Languages. TUCS General Publication No, 33, 127\u2013143.","journal-title":"Proceedings of the 2nd International Workshop on Quantum Programming Languages"},{"key":"e_1_3_3_134_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005238"},{"key":"e_1_3_3_135_2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365700"},{"key":"e_1_3_3_136_2","unstructured":"Mikhail Smelyanskiy Nicolas P. Sawaya and Al\u00e1n Aspuru-Guzik. 2016. qHiPSTER: The quantum high performance software testing environment. arXiv preprint arXiv:1601.07195 ."},{"key":"e_1_3_3_137_2","unstructured":"Robert S. Smith Michael J. Curtis and William J. Zeng. 2016. A practical quantum instruction set architecture. arXiv: 1608.03355."},{"issue":"1","key":"e_1_3_3_138_2","first-page":"55","article-title":"RevKit: A toolkit for reversible circuit design","volume":"18","author":"Soeken Mathias","year":"2012","unstructured":"Mathias Soeken, Stefan Frehse, Robert Wille, and Rolf Drechsler. 2012. RevKit: A toolkit for reversible circuit design. Multiple-Valued Logic and Soft Computing 18, 1 (2012), 55\u201365.","journal-title":"Multiple-Valued Logic and Soft Computing"},{"key":"e_1_3_3_139_2","article-title":"The commercial prospects for quantum computing","author":"Srivastava Rupesh","year":"2016","unstructured":"Rupesh Srivastava, Iris Choi, Tim Cook, and NQIT User Engagement Team. 2016. The commercial prospects for quantum computing. Networked Quantum Information Technologies.","journal-title":"Networked Quantum Information Technologies"},{"key":"e_1_3_3_140_2","doi-asserted-by":"publisher","DOI":"10.22331\/q-2018-01-31-49"},{"key":"e_1_3_3_141_2","doi-asserted-by":"crossref","unstructured":"Yasunari Suzuki Yoshiaki Kawase Yuya Masumura Yuria Hiraga Masahiro Nakadai Jiabao Chen Ken M. Nakanishi Kosuke Mitarai Ryosuke Imai Shiro Tamiya Takahiro Yamamoto Tennin Yan Toru Kawakubo Yuya O. Nakagawa Yohei Ibe Youyuan Zhang Hirotsugu Yamashita Hikaru Yoshimura Akihiro Hayashi and Keisuke Fujii. 2020. Qulacs: A fast and versatile quantum circuit simulator for research purpose. arXiv:2011.13524v1.","DOI":"10.22331\/q-2021-10-06-559"},{"key":"e_1_3_3_142_2","first-page":"1","article-title":"Q# enabling scalable quantum computing and development with a high-levelDSL","author":"Svore Krysta","year":"2018","unstructured":"Krysta Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz, and Martin Roetteler. 2018. Q# enabling scalable quantum computing and development with a high-levelDSL. In Proceedings of the Real World Domain Specific Languages Workshop (2018). 1\u201310.","journal-title":"Proceedings of the Real World Domain Specific Languages Workshop"},{"key":"e_1_3_3_143_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2011.04.010"},{"key":"e_1_3_3_144_2","unstructured":"Archana Tankasala and Hesameddin Ilatikhameneh. 2019. Quantum-Kit: Simulating Shor's Factorization of 24-Bit Number on Desktop. arXiv preprint arXiv:1908.07187 ."},{"key":"e_1_3_3_145_2","unstructured":"Michael Ter\u00f6rde. 2019. Registry-Spuren verursacht durch die Quantenprogrammiersprache Q."},{"key":"e_1_3_3_146_2","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2021.3094461"},{"key":"e_1_3_3_147_2","unstructured":"A. S. Tolba M. Z. Rashad and Mohammed A. El-Dosuky. 2013. Q# a quantum computation package for the .NET platform. arXiv preprint arXiv:1302.5133 ."},{"key":"e_1_3_3_148_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2008.03.007"},{"key":"e_1_3_3_149_2","doi-asserted-by":"publisher","DOI":"10.1145\/2699415"},{"key":"e_1_3_3_150_2","first-page":"54","article-title":"Software quality issues in quantum information systems","author":"Verdugo Javier","year":"2021","unstructured":"Javier Verdugo, Mois\u00e9s Rodr\u00edguez, and Mario Piattini. 2021. Software quality issues in quantum information systems. Q-SET@QCE 2021, 54\u201359.","journal-title":"Q-SET@QCE 2021"},{"key":"e_1_3_3_151_2","doi-asserted-by":"publisher","DOI":"10.5555\/1823458"},{"key":"e_1_3_3_152_2","doi-asserted-by":"publisher","DOI":"10.1145\/3241037"},{"key":"e_1_3_3_153_2","unstructured":"Dave Wecker and Krysta M. Svore. 2014. LIQUi|>: A software design architecture and domain-specific language for quantum computing. arXiv:1402.4467."},{"key":"e_1_3_3_154_2","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415746"},{"issue":"1","key":"e_1_3_3_155_2","first-page":"1","article-title":"Quantum programming language NDQJava","volume":"19","author":"Xu Jia-Fu","year":"2008","unstructured":"Jia-Fu Xu, Fang-Min Song, Shi-Jun Qian, Jing-An Dai, and Yun-Jie Zhang. 2008. Quantum programming language NDQJava. Journal of Software 19, 1 (2008), 1\u20138.","journal-title":"Journal of Software"},{"key":"e_1_3_3_156_2","volume-title":"Research of Possibilities of Quantum Programming for Realization of Tasks of Machine Learning","author":"Zagorodko P. V.","year":"2020","unstructured":"P. V. Zagorodko. 2020. Research of Possibilities of Quantum Programming for Realization of Tasks of Machine Learning. Doctoral dissertation."},{"key":"e_1_3_3_157_2","doi-asserted-by":"publisher","DOI":"10.1002\/que2.34"},{"key":"e_1_3_3_158_2","unstructured":"Jianjun Zhao. 2020. Quantum Software Engineering: Landscapes and Horizons. arXiv preprint arXiv:2007.07047 ."},{"key":"e_1_3_3_159_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834427"},{"key":"e_1_3_3_160_2","doi-asserted-by":"crossref","unstructured":"Alwin Zulehner Alexandru Paler and Robert Wille. 2017. An efficient methodology for mapping quantum circuits to the IBM QX architectures. arXiv:1712.04722v3.","DOI":"10.23919\/DATE.2018.8342181"},{"key":"e_1_3_3_161_2","volume-title":"Quantum ProgrammingPhD thesis","author":"Zuliani Paolo","year":"2001","unstructured":"Paolo Zuliani. 2001. Quantum Programming. PhD thesis, Oxford University Computing Laboratory. http:\/\/www.comlab.ox.ac.uk. Accessed 8 Apr. 2019."},{"key":"e_1_3_3_162_2","first-page":"179","volume-title":"2nd International Workshop on Quantum Programming Languages","author":"Zuliani Paolo","year":"2004","unstructured":"Paolo Zuliani. 2004. Non-deterministic quantum programming. 2nd International Workshop on Quantum Programming Languages, P. Selinger (ed.), 179\u2013195."}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548679","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T13:50:52Z","timestamp":1750168252000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548679"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,23]]},"references-count":161,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2023,8,31]]}},"alternative-id":["10.1145\/3548679"],"URL":"https:\/\/doi.org\/10.1145\/3548679","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"value":"0360-0300","type":"print"},{"value":"1557-7341","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,12,23]]},"assertion":[{"value":"2021-06-07","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-07-04","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-12-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}