{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T13:53:46Z","timestamp":1781704426671,"version":"3.54.5"},"reference-count":98,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T00:00:00Z","timestamp":1773100800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T00:00:00Z","timestamp":1773100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007052","name":"Universit\u00e0 degli Studi di Verona","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007052","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2026,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>The rapid progress of quantum technologies, fostered by the efforts of both academia and industry, has stimulated the design of quantum programming languages and the development of methods to support their verification and optimization. As in the classical setting, static analysis plays a fundamental role in such an endeavour. In this paper, we provide a survey on static analysis approaches for quantum programs, which have been proposed in the literature, distinguishing between dataflow-oriented approaches, which are based on a graph representation of the program information flow, and domain-oriented approaches, which essentially consist of the definition of some appropriate abstract domains representing the program property to be analysed. To illustrate these two perspectives concretely, we also present in detail two specific analyses: a dataflow analysis for managing quantum variables and uncomputation, and a static analysis based on abstract interpretation for detecting state entanglement.<\/jats:p>","DOI":"10.1007\/s10009-026-00845-1","type":"journal-article","created":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:01:37Z","timestamp":1773147697000},"page":"345-374","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Challenges in Quantum Programs Analysis"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6754-6206","authenticated-orcid":false,"given":"Nicola","family":"Assolini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4173-7941","authenticated-orcid":false,"given":"Alessandra","family":"Di Pierro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1213-536X","authenticated-orcid":false,"given":"Isabella","family":"Mastroeni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,3,10]]},"reference":[{"key":"845_CR1","doi-asserted-by":"crossref","unstructured":"Aaronson, S., Gottesman, D.: Improved simulation of stabilizer circuits. CoRR (2004). http:\/\/arxiv.org\/abs\/quant-ph\/0406196. arXiv:quant-ph\/0406196","DOI":"10.1103\/PhysRevA.70.052328"},{"key":"845_CR2","doi-asserted-by":"publisher","unstructured":"Abdulla, P.A., Chen, Y.G., Chen, Y.F., Hol\u00edk, L., Leng\u00e1l, O., Lin, J.A., Lo, F.Y., Tsai, W.L.: Verifying quantum circuits with level-synchronized tree automata. Proc. ACM Program. Lang. 9(POPL) (2025). https:\/\/doi.org\/10.1145\/3704868","DOI":"10.1145\/3704868"},{"key":"845_CR3","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"2006","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison-Wesley, Reading (2006)","edition":"2"},{"key":"845_CR4","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.2562111","volume-title":"Qiskit: An Open-Source Framework for Quantum Computing","author":"G. Aleksandrowicz","year":"2019","unstructured":"Aleksandrowicz, G., et al.: Qiskit: An Open-Source Framework for Quantum Computing (2019). https:\/\/doi.org\/10.5281\/zenodo.2562111"},{"key":"845_CR5","volume-title":"Formal Methods in Quantum Circuit Design","author":"M. Amy","year":"2019","unstructured":"Amy, M.: Formal Methods in Quantum Circuit Design (2019)"},{"issue":"3","key":"845_CR6","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab9359","volume":"5","author":"M. Amy","year":"2020","unstructured":"Amy, M., Gheorghiu, V.: staq\u2014a full-stack quantum processing toolkit. Quantum Sci. Technol. 5(3), 034016 (2020)","journal-title":"Quantum Sci. Technol."},{"key":"845_CR7","doi-asserted-by":"publisher","unstructured":"Amy, M., Lunderville, J.: Linear and non-linear relational analyses for quantum program optimization. Proc. ACM Program. Lang. 9(POPL) (2025). https:\/\/doi.org\/10.1145\/3704873","DOI":"10.1145\/3704873"},{"issue":"10","key":"845_CR8","doi-asserted-by":"publisher","first-page":"1476","DOI":"10.1109\/TCAD.2014.2341953","volume":"33","author":"M. Amy","year":"2014","unstructured":"Amy, M., Maslov, D., Mosca, M.: Polynomial-time t-depth optimization of clifford+ t circuits via matroid partitioning. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 33(10), 1476\u20131489 (2014)","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"key":"845_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-63390-9_1","volume-title":"Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II","author":"M. Amy","year":"2017","unstructured":"Amy, M., Roetteler, M., Svore, K.M.: Verified compilation of space-efficient reversible circuits. In: Majumdar, R., Kuncak, V. (eds.) Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Lecture Notes in Computer Science, vol.\u00a010427, pp.\u00a03\u201321. Springer, Berlin (2017). https:\/\/doi.org\/10.1007\/978-3-319-63390-9_1"},{"key":"845_CR10","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/3689609.3689998","volume-title":"Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2024, Pasadena, CA, USA, 22 October 2024","author":"N. Assolini","year":"2024","unstructured":"Assolini, N., Di Pierro, A., Mastroeni, I.: Abstracting entanglement. In: Arceri, V., Pasqua, M. (eds.) Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2024, Pasadena, CA, USA, 22 October 2024, pp.\u00a034\u201341. ACM, New York (2024). https:\/\/doi.org\/10.1145\/3689609.3689998"},{"key":"845_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-031-74776-2_1","volume-title":"Static Analysis - 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings","author":"N. Assolini","year":"2024","unstructured":"Assolini, N., Di Pierro, A., Mastroeni, I.: Static analysis of quantum programs. In: Giacobazzi, R., Gorla, A. (eds.) Static Analysis - 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings. Lecture Notes in Computer Science, vol.\u00a014995, pp.\u00a01\u201325. Springer, Berlin (2024). https:\/\/doi.org\/10.1007\/978-3-031-74776-2_1"},{"key":"845_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-031-82703-7_3","volume-title":"Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II","author":"N. Assolini","year":"2025","unstructured":"Assolini, N., Di Pierro, A., Mastroeni, I.: A static analysis of entanglement. In: Krishna, S., Sankaranarayanan, S., Trivedi, A. (eds.) Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II. Lecture Notes in Computer Science, vol.\u00a015530, pp.\u00a050\u201371. Springer, Berlin (2025). https:\/\/doi.org\/10.1007\/978-3-031-82703-7_3"},{"key":"845_CR13","doi-asserted-by":"publisher","unstructured":"Assolini, N., Marzari, L., Di Pierro, A., Mastroeni, I.: Formal verification of variational quantum circuits. CoRR (2025) https:\/\/doi.org\/10.48550\/arXiv.2507.10635. arXiv:2507.10635","DOI":"10.48550\/arXiv.2507.10635"},{"issue":"5","key":"845_CR14","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/MS.2025.3566634","volume":"42","author":"J.A.C. Behler","year":"2025","unstructured":"Behler, J.A.C., Al-Ramadan, A.F., Baheri, B., Collard, M.L., Guan, Q., Maletic, J.I.: Static analysis and transformation for quantum programming languages. IEEE Softw. 42(5), 58\u201364 (2025). https:\/\/doi.org\/10.1109\/MS.2025.3566634","journal-title":"IEEE Softw."},{"key":"845_CR15","doi-asserted-by":"publisher","first-page":"2881","DOI":"10.1103\/PhysRevLett.69.2881","volume":"69","author":"C.H. Bennett","year":"1992","unstructured":"Bennett, C.H., Wiesner, S.J.: Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states. Phys. Rev. Lett. 69, 2881\u20132884 (1992). https:\/\/doi.org\/10.1103\/PhysRevLett.69.2881","journal-title":"Phys. Rev. Lett."},{"key":"845_CR16","series-title":"PLDI 2020","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.: 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. PLDI 2020, pp.\u00a0286\u2013300. Assoc. Comput. Mach., New York (2020). https:\/\/doi.org\/10.1145\/3385412.3386007"},{"key":"845_CR17","doi-asserted-by":"publisher","first-page":"1185","DOI":"10.22331\/Q-2023-11-20-1185","volume":"7","author":"B. Bichsel","year":"2023","unstructured":"Bichsel, B., Paradis, A., Baader, M., Vechev, M.T.: Abstraqt: analysis of quantum circuits via abstract stabilizer simulation. Quantum 7, 1185 (2023). https:\/\/doi.org\/10.22331\/Q-2023-11-20-1185","journal-title":"Quantum"},{"issue":"3","key":"845_CR18","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0020-0190(00)00084-3","volume":"75","author":"P. Boykin","year":"2000","unstructured":"Boykin, P., Mor, T., Pulver, M., Roychowdhury, V., Vatan, F.: A new universal and fault-tolerant quantum basis. Inf. Process. Lett. 75(3), 101\u2013107 (2000). https:\/\/doi.org\/10.1016\/S0020-0190(00)00084-3. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0020019000000843","journal-title":"Inf. Process. Lett."},{"key":"845_CR19","doi-asserted-by":"publisher","unstructured":"Bruni, R., Giacobazzi, R., Gori, R., Ranzato, F.: A correctness and incorrectness program logic. J. ACM 70(2) (2023). https:\/\/doi.org\/10.1145\/3582267","DOI":"10.1145\/3582267"},{"key":"845_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-031-90200-0_9","volume-title":"Euro-Par 2024: Parallel Processing Workshops - Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part I","author":"F.J. Cardama","year":"2024","unstructured":"Cardama, F.J., V\u00e1zquez-P\u00e9rez, J., Pena, T.F., Pichel, J.C., G\u00f3mez, A.: Quantum compilation process: a survey. In: Ca\u00edno-Lores, S., Zeinalipour, D., Doudali, T.D., Singh, D.E., Garz\u00f3n, G.E.M., Sousa, L., Andrade, D., Cucinotta, T., D\u2019Ambrosio, D., Diehl, P., Dolz, M.F., Jukan, A., Montella, R., Nardelli, M., Garcia-Gasulla, M., Neuwirth, S. (eds.) Euro-Par 2024: Parallel Processing Workshops - Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part I. Lecture Notes in Computer Science, vol.\u00a015385, pp.\u00a0100\u2013112. Springer, Berlin (2024). https:\/\/doi.org\/10.1007\/978-3-031-90200-0_9"},{"key":"845_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-030-72019-3_6","volume-title":"Programming Languages and Systems. ESOP 2021","author":"C. Chareton","year":"2021","unstructured":"Chareton, C., Bardin, S., Bobot, F., Perrelle, V., Valiron, B.: An automated deductive verification framework for circuit-building quantum programs. In: Yoshida, N. (ed.) Programming Languages and Systems. ESOP 2021. Lecture Notes in Computer Science, vol.\u00a012648, pp.\u00a0156\u2013182. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-72019-3_6"},{"key":"845_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-031-44245-2_9","volume-title":"Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings","author":"Y. Chen","year":"2023","unstructured":"Chen, Y., Stade, Y.: Quantum constant propagation. In: Hermenegildo, M.V., Morales, J.F. (eds.) Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings. Lecture Notes in Computer Science, vol.\u00a014284, pp.\u00a0164\u2013189. Springer, Berlin (2023). https:\/\/doi.org\/10.1007\/978-3-031-44245-2_9"},{"key":"845_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-031-37709-9_7","volume-title":"Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III","author":"Y. Chen","year":"2023","unstructured":"Chen, Y., Chung, K., Leng\u00e1l, O., Lin, J., Tsai, W.: Autoq: an automata-based quantum circuit verifier. In: Enea, C., Lal, A. (eds.) Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Lecture Notes in Computer Science, vol.\u00a013966, pp.\u00a0139\u2013153. Springer, Berlin (2023). https:\/\/doi.org\/10.1007\/978-3-031-37709-9_7"},{"key":"845_CR24","doi-asserted-by":"publisher","unstructured":"Chen, Y.F., Chung, K.M., Leng\u00e1l, O., Lin, J.A., Tsai, W.L., Yen, D.D.: An automata-based framework for verification and bug hunting in quantum circuits. Proc. ACM Program. Lang. 7(PLDI) (2023). https:\/\/doi.org\/10.1145\/3591270","DOI":"10.1145\/3591270"},{"key":"845_CR25","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1109\/QCE60285.2024.10379","volume-title":"2024 IEEE International Conference on Quantum Computing and Engineering (QCE)","author":"Y. Chen","year":"2024","unstructured":"Chen, Y., Fulginiti, I., Mendl, C.B.: Probabilistic circuit model. In: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), vol.\u00a002, pp.\u00a0508\u2013509 (2024). https:\/\/doi.org\/10.1109\/QCE60285.2024.10379"},{"key":"845_CR26","doi-asserted-by":"publisher","unstructured":"Chen, Y., Chung, K., Hsieh, M., Huang, W., Leng\u00e1l, O., Lin, J., Tsai, W.: Autoq 2.0: from verification of quantum circuits to verification of quantum programs. In: Gurfinkel, A., Heule, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III. Lecture Notes in Computer Science, vol.\u00a015698, pp.\u00a087\u2013108. Springer, Berlin (2025). https:\/\/doi.org\/10.1007\/978-3-031-90660-2_5","DOI":"10.1007\/978-3-031-90660-2_5"},{"key":"845_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-031-97570-7_13","volume-title":"Proceedings, Part V","author":"Y. Chen","year":"2025","unstructured":"Chen, Y., Fulginiti, I., Mendl, C.B.: Optimization framework for reducing mid-circuit measurements and resets. In: Paszynski, M., Barnard, A.S., Zhang, Y.J. (eds.) Proceedings, Part V, Computational Science - ICCS 2025 Workshops - 25th International Conference, Singapore, Singapore, July 7\u20139, 2025. Lecture Notes in Computer Science, vol.\u00a015911, pp.\u00a0150\u2013164. Springer, Berlin (2025). https:\/\/doi.org\/10.1007\/978-3-031-97570-7_13"},{"key":"845_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-031-97632-2_10","volume-title":"Proceedings, Part III","author":"Y. Chen","year":"2025","unstructured":"Chen, Y., Mendl, C.B., Seidl, H.: Dead gate elimination. In: Lees, M.H., Cai, W., Cheong, S.A., Su, Y., Abramson, D., Dongarra, J.J., Sloot, P.M.A. (eds.) Proceedings, Part III, Computational Science - ICCS 2025 - 25th International Conference, Singapore, July 7\u20139, 2025. Lecture Notes in Computer Science, vol.\u00a015905, pp.\u00a0135\u2013150. Springer, Berlin (2025). https:\/\/doi.org\/10.1007\/978-3-031-97632-2_10"},{"key":"845_CR29","doi-asserted-by":"publisher","unstructured":"Cirq Developers: Cirq. https:\/\/doi.org\/10.5281\/zenodo.4062499. https:\/\/quantumai.google\/cirq","DOI":"10.5281\/zenodo.4062499"},{"key":"845_CR30","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/SCAM.2011.19","volume-title":"11th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM 2011, Williamsburg, VA, USA, September 25-26, 2011","author":"M.L. Collard","year":"2011","unstructured":"Collard, M.L., Decker, M.J., Maletic, J.I.: Lightweight transformation and fact extraction with the srcml toolkit. In: 11th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM 2011, Williamsburg, VA, USA, September 25-26, 2011, pp.\u00a0173\u2013184. IEEE Comput. Soc., Los Alamitos (2011). https:\/\/doi.org\/10.1109\/SCAM.2011.19"},{"key":"845_CR31","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1109\/ICSM.2013.85","volume-title":"2013 IEEE International Conference on Software Maintenance, Eindhoven, The Netherlands, September 22-28","author":"M.L. Collard","year":"2013","unstructured":"Collard, M.L., Decker, M.J., Maletic, J.I.: srcML: an infrastructure for the exploration, analysis, and manipulation of source code: a tool demonstration. In: 2013 IEEE International Conference on Software Maintenance, Eindhoven, The Netherlands, September 22-28, pp.\u00a0516\u2013519. IEEE Comput. Soc., Los Alamitos (2013). https:\/\/doi.org\/10.1109\/ICSM.2013.85"},{"key":"845_CR32","doi-asserted-by":"publisher","unstructured":"Colledan, A., Dal Lago, U.: Flexible type-based resource estimation in quantum circuit description languages. Proc. ACM Program. Lang. 9(POPL) (2025). https:\/\/doi.org\/10.1145\/3704883","DOI":"10.1145\/3704883"},{"key":"845_CR33","unstructured":"Corrales-Garro, F., Valerio-Ram\u00edrez, D., N\u00fa\u00f1ez-Corrales, S.: Is productivity in quantum programming equivalent to expressiveness? (2025). arXiv preprint. arXiv:2504.08876"},{"key":"845_CR34","series-title":"POPL \u201977","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. POPL \u201977, pp.\u00a0238\u2013252. Assoc. Comput. Mach., New York (1977). https:\/\/doi.org\/10.1145\/512950.512973"},{"key":"845_CR35","series-title":"POPL \u201979","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/567752.567778","volume-title":"Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. POPL \u201979, pp.\u00a0269\u2013282. Assoc. Comput. Mach., New York (1979). https:\/\/doi.org\/10.1145\/567752.567778"},{"issue":"1818","key":"845_CR36","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1098\/rspa.1985.0070","volume":"400","author":"D. Deutsch","year":"1985","unstructured":"Deutsch, D., Penrose, R.: Quantum theory, the church\u2013Turing principle and the universal quantum computer. Proc. R. Soc. Lond. Ser. A, Math. Phys. Sci. 400(1818), 97\u2013117 (1985). https:\/\/doi.org\/10.1098\/rspa.1985.0070. https:\/\/royalsocietypublishing.org\/doi\/abs\/10.1098\/rspa.1985.0070","journal-title":"Proc. R. Soc. Lond. Ser. A, Math. Phys. Sci."},{"issue":"3","key":"845_CR37","doi-asserted-by":"publisher","DOI":"10.1209\/0295-5075\/123\/30006","volume":"123","author":"A. Di Pierro","year":"2018","unstructured":"Di Pierro, A., Mancini, S., Memarzadeh, L., Mengoni, R.: Homological analysis of multi-qubit entanglement. Europhys. Lett. 123(3), 30006 (2018). https:\/\/doi.org\/10.1209\/0295-5075\/123\/30006","journal-title":"Europhys. Lett."},{"key":"845_CR38","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1109\/ISCA45697.2020.00054","volume-title":"47th ACM\/IEEE Annual International Symposium on Computer Architecture, ISCA 2020, Virtual Event \/ Valencia, Spain, May 30 - June 3, 2020","author":"Y. Ding","year":"2020","unstructured":"Ding, Y., Wu, X., Holmes, A., Wiseth, A., Franklin, D., Martonosi, M., Chong, F.T.: SQUARE: strategic quantum ancilla reuse for modular quantum programs via cost-effective uncomputation. In: 47th ACM\/IEEE Annual International Symposium on Computer Architecture, ISCA 2020, Virtual Event \/ Valencia, Spain, May 30 - June 3, 2020, pp.\u00a0570\u2013583. IEEE, New York (2020). https:\/\/doi.org\/10.1109\/ISCA45697.2020.00054"},{"key":"845_CR39","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-981-97-0989-2_13","volume-title":"Service-Oriented Computing \u2013 ICSOC 2023 Workshops","author":"H. F\u00fcrntratt","year":"2024","unstructured":"F\u00fcrntratt, H., Schnabl, P., Krebs, F., Unterberger, R., Zeiner, H.: Towards higher abstraction levels in quantum computing. In: Monti, F., Plebani, P., Moha, N., Paik, H.Y., Barzen, J., Ramachandran, G., Bianchini, D., Tamburri, D.A., Mecella, M. (eds.) Service-Oriented Computing \u2013 ICSOC 2023 Workshops, pp.\u00a0162\u2013173. Springer, Singapore (2024). https:\/\/doi.org\/10.1007\/978-981-97-0989-2_13"},{"key":"845_CR40","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.100.160501","volume":"100","author":"V. Giovannetti","year":"2008","unstructured":"Giovannetti, V., Lloyd, S., Maccone, L.: Quantum random access memory. Phys. Rev. Lett. 100, 160501 (2008). https:\/\/doi.org\/10.1103\/PhysRevLett.100.160501","journal-title":"Phys. Rev. Lett."},{"key":"845_CR41","unstructured":"Gottesman, D.: The Heisenberg representation of quantum computers (1998). arXiv preprint arXiv:quant-ph\/9807006"},{"key":"845_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-38986-3_10","volume-title":"Reversible Computation - 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings","author":"A.S. Green","year":"2013","unstructured":"Green, A.S., Lumsdaine, P.L., Ross, N.J., Selinger, P., Valiron, B.: An introduction to quantum programming in quipper. In: Dueck, G.W., Miller, D.M. (eds.) Reversible Computation - 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Lecture Notes in Computer Science, vol.\u00a07948, pp.\u00a0110\u2013124. Springer, Berlin (2013). https:\/\/doi.org\/10.1007\/978-3-642-38986-3_10"},{"key":"845_CR43","series-title":"PLDI \u201913","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/2491956.2462177","volume-title":"Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"A.S. Green","year":"2013","unstructured":"Green, A.S., Lumsdaine, P.L., Ross, N.J., Selinger, P., Valiron, B.: Quipper: a scalable quantum programming language. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI \u201913, pp.\u00a0333\u2013342. Assoc. Comput. Mach., New York (2013). https:\/\/doi.org\/10.1145\/2491956.2462177"},{"key":"845_CR44","doi-asserted-by":"publisher","unstructured":"Hietala, K., Rand, R., Hung, S.H., Wu, X., Hicks, M.: A verified optimizer for quantum circuits. Proc. ACM Program. Lang. 5(POPL) (2021). https:\/\/doi.org\/10.1145\/3434318","DOI":"10.1145\/3434318"},{"key":"845_CR45","doi-asserted-by":"publisher","unstructured":"Hirata, K., Heunen, C.: Qurts: Automatic quantum uncomputation by affine types with lifetime. Proc. ACM Program. Lang. 9(POPL) (2025). https:\/\/doi.org\/10.1145\/3704842","DOI":"10.1145\/3704842"},{"key":"845_CR46","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"262","DOI":"10.4204\/EPTCS.195.19","volume-title":"Proceedings 12th International Workshop on Quantum Physics and Logic, QPL 2015, Oxford, UK, July 15-17, 2015","author":"K. Honda","year":"2015","unstructured":"Honda, K.: Analysis of quantum entanglement in quantum programs using stabilizer formalism. In: Heunen, C., Selinger, P., Vicary, J. (eds.) Proceedings 12th International Workshop on Quantum Physics and Logic, QPL 2015, Oxford, UK, July 15-17, 2015. EPTCS, vol.\u00a0195, pp.\u00a0262\u2013272 (2015). https:\/\/doi.org\/10.4204\/EPTCS.195.19"},{"key":"845_CR47","unstructured":"Ittah, D., H\u00e4ner, T., Kliuchnikov, V., Hoefler, T.: Enabling dataflow optimization for quantum programs. CoRR (2021). https:\/\/arxiv.org\/abs\/2101.11030. arXiv:2101.11030"},{"key":"845_CR48","doi-asserted-by":"publisher","DOI":"10.1145\/2597917.2597939","volume-title":"Proceedings of the 11th ACM Conference on Computing Frontiers. CF \u201914","author":"A. JavadiAbhari","year":"2014","unstructured":"JavadiAbhari, A., Patil, S., Kudrow, D., Heckey, J., Lvov, A., Chong, F.T., Martonosi, M.: Scaffcc: a framework for compilation and analysis of quantum computing programs. In: Proceedings of the 11th ACM Conference on Computing Frontiers. CF \u201914. Assoc. Comput. Mach., New York (2014). https:\/\/doi.org\/10.1145\/2597917.2597939"},{"key":"845_CR49","volume-title":"Programming Quantum Computers: Essential Algorithms and Code Samples","author":"E. Johnston","year":"2019","unstructured":"Johnston, E., Harrigan, N., Gimeno-Segovia, M.: Programming Quantum Computers: Essential Algorithms and Code Samples. O\u2019Reilly Media, Incorporated (2019)"},{"key":"845_CR50","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1109\/QCE57702.2023.00115","volume-title":"IEEE International Conference on Quantum Computing and Engineering, QCE 2023, Bellevue, WA, USA, September 17-22, 2023","author":"M. Kaul","year":"2023","unstructured":"Kaul, M., K\u00fcchler, A., Banse, C.: A uniform representation of classical and quantum source code for static code analysis. In: Cour, B.L., Yeh, L., Osinski, M. (eds.) IEEE International Conference on Quantum Computing and Engineering, QCE 2023, Bellevue, WA, USA, September 17-22, 2023, pp.\u00a01013\u20131019. IEEE, Los Alamitos (2023). https:\/\/doi.org\/10.1109\/QCE57702.2023.00115"},{"key":"845_CR51","volume-title":"Data Flow Analysis - Theory and Practice","author":"U.P. Khedker","year":"2009","unstructured":"Khedker, U.P., Sanyal, A., Sathe, B.: Data Flow Analysis - Theory and Practice. CRC Press, Boca Raton (2009). http:\/\/www.crcpress.com\/product\/isbn\/9780849328800"},{"key":"845_CR52","series-title":"Graduate Studies in Mathematics","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/047","volume-title":"Classical and Quantum Computation","author":"A.Y. Kitaev","year":"2002","unstructured":"Kitaev, A.Y., Shen, A.H., Vyalyi, M.N.: Classical and Quantum Computation. Graduate Studies in Mathematics, vol.\u00a047. Am. Math. Soc., Providence (2002). https:\/\/bookstore.ams.org\/gsm-47\/"},{"key":"845_CR53","unstructured":"Koch, M., Borgna, A., Roy, C., Lawrence, A., Singhal, K., Sivarajah, S., Duncan, R.: Imperative quantum programming with ownership and borrowing in guppy (2025). arXiv preprint arXiv:2510.13082"},{"key":"845_CR54","unstructured":"Koch, M., Lawrence, A., Singhal, K., Sivarajah, S., Duncan, R.: GUPPY: Pythonic Quantum-Classical Programming. https:\/\/popl24.sigplan.org\/details\/planqc-2024-papers\/8\/GUPPY-Pythonic-Quantum-Classical-Programming"},{"key":"845_CR55","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1109\/CGO51591.2021.9370310","volume-title":"2021 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","author":"J. Liu","year":"2021","unstructured":"Liu, J., Bello, L., Zhou, H.: Relaxed peephole optimization: a novel compiler optimization for quantum circuits. In: 2021 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO), pp.\u00a0301\u2013314 (2021). https:\/\/doi.org\/10.1109\/CGO51591.2021.9370310"},{"key":"845_CR56","volume-title":"Schrodinger\u2019s Machines: The Quantum Technology Reshaping Everyday Life","author":"G. Milburn","year":"1997","unstructured":"Milburn, G.: Schrodinger\u2019s Machines: The Quantum Technology Reshaping Everyday Life. Holt, New York (1997)"},{"key":"845_CR57","volume-title":"gridify: Enrich Figures and Tables with Custom Headers and Footers and More","author":"M. Nasinski","year":"2025","unstructured":"Nasinski, M., Wall, A., Robson, S., Dash, P., Winick-Ng, J.: gridify: Enrich Figures and Tables with Custom Headers and Footers and More (2025). https:\/\/pharmaverse.github.io\/gridify\/, R package version 0.7.5"},{"key":"845_CR58","volume-title":"Quantum Computation and Quantum Information","author":"M.A. Nielsen","year":"2016","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information, 10th Anniversary edn. Cambridge University Press, Cambridge (2016). https:\/\/www.cambridge.org\/de\/academic\/subjects\/physics\/quantum-physics-quantum-information-and-quantum-computation\/quantum-computation-and-quantum-information-10th-anniversary-edition?format=HB","edition":"10"},{"key":"845_CR59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Berlin (1999). https:\/\/doi.org\/10.1007\/978-3-662-03811-6"},{"key":"845_CR60","doi-asserted-by":"publisher","unstructured":"O\u2019Hearn, P.W.: Incorrectness logic. Proc. ACM Program. Lang. 4(POPL) (2019). https:\/\/doi.org\/10.1145\/3371078","DOI":"10.1145\/3371078"},{"issue":"FSE","key":"845_CR61","doi-asserted-by":"publisher","first-page":"2144","DOI":"10.1145\/3660802","volume":"1","author":"M. Paltenghi","year":"2024","unstructured":"Paltenghi, M., Pradel, M.: Analyzing quantum programs with lintq: a static analysis framework for qiskit. Proc. ACM Softw. Eng. 1(FSE), 2144\u20132166 (2024). https:\/\/doi.org\/10.1145\/3660802","journal-title":"Proc. ACM Softw. Eng."},{"key":"845_CR62","series-title":"PLDI 2021","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1145\/3453483.3454040","volume-title":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","author":"A. Paradis","year":"2021","unstructured":"Paradis, A., Bichsel, B., Steffen, S., Vechev, M.: Unqomp: synthesizing uncomputation in quantum circuits. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI 2021, pp.\u00a0222\u2013236. Assoc. Comput. Mach., New York (2021). https:\/\/doi.org\/10.1145\/3453483.3454040"},{"key":"845_CR63","doi-asserted-by":"publisher","first-page":"1258","DOI":"10.22331\/Q-2024-02-19-1258","volume":"8","author":"A. Paradis","year":"2024","unstructured":"Paradis, A., Bichsel, B., Vechev, M.T.: Reqomp: space-constrained uncomputation for quantum circuits. Quantum 8, 1258 (2024). https:\/\/doi.org\/10.22331\/Q-2024-02-19-1258","journal-title":"Quantum"},{"key":"845_CR64","unstructured":"Parent, A., Roetteler, M., Svore, K.M.: Reversible circuit compilation with space constraints. CoRR (2015). http:\/\/arxiv.org\/abs\/1510.00377. arXiv:1510.00377"},{"key":"845_CR65","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-319-59936-6_7","volume-title":"Reversible Computation","author":"A. Parent","year":"2017","unstructured":"Parent, A., Roetteler, M., Svore, K.M.: Revs: a tool for space-optimized reversible circuit synthesis. In: Phillips, I., Rahaman, H. (eds.) Reversible Computation, pp.\u00a090\u2013101. Springer, Cham (2017)"},{"issue":"1","key":"845_CR66","doi-asserted-by":"publisher","first-page":"846","DOI":"10.1145\/3093333.3009894","volume":"52","author":"J. Paykin","year":"2017","unstructured":"Paykin, J., Rand, R., Zdancewic, S.: Qwire: a core language for quantum circuits. SIGPLAN Not. 52(1), 846\u2013858 (2017). https:\/\/doi.org\/10.1145\/3093333.3009894","journal-title":"SIGPLAN Not."},{"key":"845_CR67","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/3497776.3517772","volume-title":"Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction","author":"A. Peduri","year":"2022","unstructured":"Peduri, A., Bhat, S., Grosser, T.: QSSA: an SSA-based ir for quantum computing. In: Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction, pp.\u00a02\u201314. Assoc. Comput. Mach., New York (2022). https:\/\/doi.org\/10.1145\/3497776.3517772"},{"key":"845_CR68","series-title":"PLDI 2022","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1145\/3519939.3523713","volume-title":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","author":"Y. Peng","year":"2022","unstructured":"Peng, Y., Ying, M., Wu, X.: Algebraic reasoning of quantum programs via non-idempotent Kleene algebra. In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI 2022, pp.\u00a0657\u2013670. Assoc. Comput. Mach., New York (2022). https:\/\/doi.org\/10.1145\/3519939.3523713"},{"key":"845_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-540-69166-2_18","volume-title":"Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings","author":"S. Perdrix","year":"2008","unstructured":"Perdrix, S.: Quantum entanglement analysis based on abstract interpretation. In: Alpuente, M., Vidal, G. (eds.) Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Lecture Notes in Computer Science, vol.\u00a05079, pp.\u00a0270\u2013282. Springer, Berlin (2008). https:\/\/doi.org\/10.1007\/978-3-540-69166-2_18"},{"key":"845_CR70","unstructured":"Raahauge, A.N., Marchioro, M.B., Nylandsted, R.R.: Approximating entanglement based on abstract interpretation (2025). arXiv preprint arXiv:2508.10056"},{"key":"845_CR71","doi-asserted-by":"publisher","unstructured":"Rand, R., Paykin, J., Lee, D., Zdancewic, S.: Reqwire: Reasoning about reversible quantum circuits, vol.\u00a0287 pp.\u00a0299\u2013312 (2018). https:\/\/doi.org\/10.4204\/EPTCS.287.17","DOI":"10.4204\/EPTCS.287.17"},{"key":"845_CR72","doi-asserted-by":"publisher","unstructured":"Rand, R., Sundaram, A., Singhal, K., Lackey, B.: Gottesman types for quantum programs, vol.\u00a0340 pp.\u00a0279\u2013290 (2020). https:\/\/doi.org\/10.4204\/EPTCS.340.14","DOI":"10.4204\/EPTCS.340.14"},{"key":"845_CR73","unstructured":"Rand, R., Sundaram, A., Singhal, K., Lackey, B.: Extending gottesman types beyond the Clifford group the Second International Workshop on Programming Languages for Quantum Computing. (PLanQC 2021) (2021)"},{"key":"845_CR74","unstructured":"Reichental, I., Alon, R., Preminger, L., Vax, M., Naveh, A.: Scalable memory recycling for large quantum programs (2025). arXiv preprint arXiv:2503.00822"},{"key":"845_CR75","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1109\/QSW67625.2025.00024","volume-title":"2025 IEEE International Conference on Quantum Software (QSW)","author":"D. Rovara","year":"2025","unstructured":"Rovara, D., Burgholzer, L., Wille, R.: A framework for debugging quantum programs. In: 2025 IEEE International Conference on Quantum Software (QSW), pp.\u00a0130\u2013136 (2025). https:\/\/doi.org\/10.1109\/QSW67625.2025.00024"},{"key":"845_CR76","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-031-38100-3_11","volume-title":"Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings","author":"R. Seidel","year":"2023","unstructured":"Seidel, R., Tcholtchev, N., Bock, S., Hauswirth, M.: Uncomputation in the qrisp high-level quantum programming framework. In: Kutrib, M., Meyer, U. (eds.) Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings. Lecture Notes in Computer Science, vol.\u00a013960, pp.\u00a0150\u2013165. Springer, Berlin (2023). https:\/\/doi.org\/10.1007\/978-3-031-38100-3_11"},{"key":"845_CR77","doi-asserted-by":"publisher","unstructured":"Seidel, R., Bock, S., Zander, R., Petric, M., Steinmann, N., Tcholtchev, N., Hauswirth, M.: Qrisp: a framework for compilable high-level programming of gate-based quantum computers (2024). https:\/\/doi.org\/10.48550\/arXiv.2406.14792","DOI":"10.48550\/arXiv.2406.14792"},{"key":"845_CR78","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17548-0","volume-title":"Compiler Design - Analysis and Transformation","author":"H. Seidl","year":"2012","unstructured":"Seidl, H., Wilhelm, R., Hack, S.: Compiler Design - Analysis and Transformation. Springer, Berlin (2012). https:\/\/doi.org\/10.1007\/978-3-642-17548-0"},{"key":"845_CR79","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183901","volume-title":"Proceedings of the Real World Domain Specific Languages Workshop 2018. RWDSL2018","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.: Q#: enabling scalable quantum computing and development with a high-level dsl. In: Proceedings of the Real World Domain Specific Languages Workshop 2018. RWDSL2018. Assoc. Comput. Mach., New York (2018). https:\/\/doi.org\/10.1145\/3183895.3183901"},{"key":"845_CR80","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1109\/QCNC64685.2025.00065","volume-title":"2025 International Conference on Quantum Communications, Networking, and Computing (QCNC)","author":"A. Tiwari","year":"2025","unstructured":"Tiwari, A., Sundaram, R.G., Gupta, H., Ramakrishnan, C., Yu, N.: Uncomputing ancilla qubits in quantum circuits. In: 2025 International Conference on Quantum Communications, Networking, and Computing (QCNC), pp.\u00a0379\u2013387 (2025). https:\/\/doi.org\/10.1109\/QCNC64685.2025.00065"},{"key":"845_CR81","unstructured":"Vasconcelos, F., Gily\u00e9n, A.: Methods for reducing ancilla-overhead in block encodings (2025). arXiv preprint arXiv:2507.07900"},{"issue":"2\u20133","key":"845_CR82","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1080\/09500340008244048","volume":"47","author":"G. Vidal","year":"2000","unstructured":"Vidal, G.: Entanglement monotones. J. Mod. Opt. 47(2\u20133), 355\u2013376 (2000). https:\/\/doi.org\/10.1080\/09500340008244048. https:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/09500340008244048","journal-title":"J. Mod. Opt."},{"key":"845_CR83","doi-asserted-by":"publisher","unstructured":"Voichick, F., Li, L., Rand, R., Hicks, M.: Qunity: a unified language for quantum and classical computing. Proc. ACM Program. Lang. 7(POPL) (2023). https:\/\/doi.org\/10.1145\/3571225","DOI":"10.1145\/3571225"},{"issue":"2","key":"845_CR84","doi-asserted-by":"publisher","first-page":"191","DOI":"10.2307\/1968865","volume":"43","author":"M. Ward","year":"1942","unstructured":"Ward, M.: The closure operators of a lattice. Ann. Math. 43(2), 191\u2013196 (1942). https:\/\/doi.org\/10.2307\/1968865. http:\/\/www.jstor.org\/stable\/1968865","journal-title":"Ann. Math."},{"key":"845_CR85","series-title":"Foundation of Computing Series","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages - an Introduction","author":"G. Winskel","year":"1993","unstructured":"Winskel, G.: The Formal Semantics of Programming Languages - an Introduction. Foundation of Computing Series. MIT Press, Cambridge (1993)"},{"key":"845_CR86","series-title":"MPLR 2024","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/3679007.3685063","volume-title":"Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","author":"C.J. Wright","year":"2024","unstructured":"Wright, C.J., Luj\u00e1n, M., Petoumenos, P., Goodacre, J.: Quff: a dynamically typed hybrid quantum-classical programming language. In: Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. MPLR 2024, pp.\u00a065\u201381. Assoc. Comput. Mach., New York (2024). https:\/\/doi.org\/10.1145\/3679007.3685063"},{"key":"845_CR87","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/Q-SE59154.2023.00013","volume-title":"4th IEEE\/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2023, Melbourne, Australia, May 17, 2023","author":"S. Xia","year":"2023","unstructured":"Xia, S., Zhao, J.: Static entanglement analysis of quantum programs. In: 4th IEEE\/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2023, Melbourne, Australia, May 17, 2023, pp.\u00a042\u201349. IEEE, Los Alamitos (2023). https:\/\/doi.org\/10.1109\/Q-SE59154.2023.00013"},{"key":"845_CR88","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1109\/SP.2014.44","volume-title":"2014 IEEE Symposium on Security and Privacy, SP 2014, Berkeley, CA, USA, May 18-21, 2014","author":"F. Yamaguchi","year":"2014","unstructured":"Yamaguchi, F., Golde, N., Arp, D., Rieck, K.: Modeling and discovering vulnerabilities with code property graphs. In: 2014 IEEE Symposium on Security and Privacy, SP 2014, Berkeley, CA, USA, May 18-21, 2014, pp.\u00a0590\u2013604. IEEE Comput. Soc., Los Alamitos (2014). https:\/\/doi.org\/10.1109\/SP.2014.44"},{"key":"845_CR89","doi-asserted-by":"publisher","unstructured":"Yan, G., Wu, W., Yuheng, C., Pan, K., Lu, X., Zixiang, Z., Yuhan, W., Wang, R., Yan, J.: Quantum circuit synthesis and compilation optimization: Overview and prospects. CoRR (2024) https:\/\/doi.org\/10.48550\/arXiv.2407.00736. arXiv:2407.00736","DOI":"10.48550\/arXiv.2407.00736"},{"key":"845_CR90","doi-asserted-by":"publisher","unstructured":"Ying, M.: Floyd\u2013hoare logic for quantum programs. ACM Trans. Program. Lang. Syst. 33(6) (2012). https:\/\/doi.org\/10.1145\/2049706.2049708","DOI":"10.1145\/2049706.2049708"},{"key":"845_CR91","volume-title":"Foundations of Quantum Programming","author":"M. Ying","year":"2016","unstructured":"Ying, M.: Foundations of Quantum Programming. Morgan Kaufmann, San Mateo (2016)"},{"key":"845_CR92","series-title":"PLDI 2021","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1145\/3453483.3454061","volume-title":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","author":"N. Yu","year":"2021","unstructured":"Yu, N., Palsberg, J.: Quantum abstract interpretation. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI 2021, pp.\u00a0542\u2013558. Assoc. Comput. Mach., New York (2021). https:\/\/doi.org\/10.1145\/3453483.3454061"},{"key":"845_CR93","doi-asserted-by":"publisher","unstructured":"Yu, N., Palsberg, J., Reps, T.: SAQR-QC: a logic for scalable but approximate quantitative reasoning about quantum circuits. CoRR (2025) https:\/\/doi.org\/10.48550\/arXiv.2507.13635. arXiv:2507.13635","DOI":"10.48550\/arXiv.2507.13635"},{"key":"845_CR94","doi-asserted-by":"publisher","unstructured":"Yuan, C., McNally, C., Carbin, M.: Twist: sound reasoning for purity and entanglement in quantum programs. Proc. ACM Program. Lang. 6(POPL) (2022). https:\/\/doi.org\/10.1145\/3498691","DOI":"10.1145\/3498691"},{"key":"845_CR95","doi-asserted-by":"publisher","unstructured":"Zhang, Z., Ying, M.: Quantum register machine: Efficient implementation of quantum recursive programs. Proc. ACM Program. Lang. 9(PLDI) (2025). https:\/\/doi.org\/10.1145\/3729283","DOI":"10.1145\/3729283"},{"key":"845_CR96","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/Q-SE52541.2021.00011","volume-title":"2nd IEEE\/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2021, Madrid, Spain, June 1-2, 2021","author":"P. Zhao","year":"2021","unstructured":"Zhao, P., Zhao, J., Ma, L.: Identifying bug patterns in quantum programs. In: 2nd IEEE\/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2021, Madrid, Spain, June 1-2, 2021, pp.\u00a016\u201321. IEEE, New York (2021). https:\/\/doi.org\/10.1109\/Q-SE52541.2021.00011"},{"key":"845_CR97","doi-asserted-by":"publisher","first-page":"1373","DOI":"10.1109\/ASE51524.2021.9678908","volume-title":"36th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021","author":"P. Zhao","year":"2021","unstructured":"Zhao, P., Zhao, J., Miao, Z., Lan, S.: Bugs4q: a benchmark of real bugs for quantum programs. In: 36th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021, pp.\u00a01373\u20131376. IEEE, Los Alamitos (2021). https:\/\/doi.org\/10.1109\/ASE51524.2021.9678908"},{"key":"845_CR98","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/Q-SE59154.2023.00014","volume-title":"4th IEEE\/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2023, Melbourne, Australia, May 17, 2023","author":"P. Zhao","year":"2023","unstructured":"Zhao, P., Wu, X., Li, Z., Zhao, J.: Qchecker: detecting bugs in quantum programs via static analysis. In: 4th IEEE\/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2023, Melbourne, Australia, May 17, 2023, pp.\u00a050\u201357. IEEE, Los Alamitos (2023). https:\/\/doi.org\/10.1109\/Q-SE59154.2023.00014"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00845-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-026-00845-1","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00845-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T13:05:57Z","timestamp":1781701557000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-026-00845-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,10]]},"references-count":98,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["845"],"URL":"https:\/\/doi.org\/10.1007\/s10009-026-00845-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,10]]},"assertion":[{"value":"20 February 2026","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 March 2026","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}