{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T23:14:45Z","timestamp":1783552485631,"version":"3.55.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T00:00:00Z","timestamp":1737417600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T00:00:00Z","timestamp":1737417600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100008425","name":"Conseller\u00eda de Cultura, Educaci\u00f3n e Ordenaci\u00f3n Universitaria, Xunta de Galicia","doi-asserted-by":"publisher","award":["ED431G2023\/04"],"award-info":[{"award-number":["ED431G2023\/04"]}],"id":[{"id":"10.13039\/501100008425","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008425","name":"Conseller\u00eda de Cultura, Educaci\u00f3n e Ordenaci\u00f3n Universitaria, Xunta de Galicia","doi-asserted-by":"publisher","award":["ED431G2023\/04"],"award-info":[{"award-number":["ED431G2023\/04"]}],"id":[{"id":"10.13039\/501100008425","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008425","name":"Conseller\u00eda de Cultura, Educaci\u00f3n e Ordenaci\u00f3n Universitaria, Xunta de Galicia","doi-asserted-by":"publisher","award":["ED431G2023\/04"],"award-info":[{"award-number":["ED431G2023\/04"]}],"id":[{"id":"10.13039\/501100008425","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008425","name":"Conseller\u00eda de Cultura, Educaci\u00f3n e Ordenaci\u00f3n Universitaria, Xunta de Galicia","doi-asserted-by":"publisher","award":["ED431G2023\/04"],"award-info":[{"award-number":["ED431G2023\/04"]}],"id":[{"id":"10.13039\/501100008425","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008425","name":"Conseller\u00eda de Cultura, Educaci\u00f3n e Ordenaci\u00f3n Universitaria, Xunta de Galicia","doi-asserted-by":"publisher","award":["ED431G2023\/04"],"award-info":[{"award-number":["ED431G2023\/04"]}],"id":[{"id":"10.13039\/501100008425","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011033","name":"Agencia Estatal de Investigaci\u00f3n","doi-asserted-by":"publisher","award":["PID2022-141623NB-100"],"award-info":[{"award-number":["PID2022-141623NB-100"]}],"id":[{"id":"10.13039\/501100011033","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011033","name":"Agencia Estatal de Investigaci\u00f3n","doi-asserted-by":"publisher","award":["PID2022-141623NB-100"],"award-info":[{"award-number":["PID2022-141623NB-100"]}],"id":[{"id":"10.13039\/501100011033","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011033","name":"Agencia Estatal de Investigaci\u00f3n","doi-asserted-by":"publisher","award":["PID2022-141623NB-100"],"award-info":[{"award-number":["PID2022-141623NB-100"]}],"id":[{"id":"10.13039\/501100011033","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011033","name":"Agencia Estatal de Investigaci\u00f3n","doi-asserted-by":"publisher","award":["PID2022-141623NB-100"],"award-info":[{"award-number":["PID2022-141623NB-100"]}],"id":[{"id":"10.13039\/501100011033","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011033","name":"Agencia Estatal de Investigaci\u00f3n","doi-asserted-by":"publisher","award":["PID2022-141623NB-100"],"award-info":[{"award-number":["PID2022-141623NB-100"]}],"id":[{"id":"10.13039\/501100011033","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Xunta de Galicia, Spain","award":["PRTR-C17.11"],"award-info":[{"award-number":["PRTR-C17.11"]}]},{"name":"Xunta de Galicia, Spain","award":["PRTR-C17.11"],"award-info":[{"award-number":["PRTR-C17.11"]}]},{"name":"Xunta de Galicia, Spain","award":["PRTR-C17.11"],"award-info":[{"award-number":["PRTR-C17.11"]}]},{"name":"Xunta de Galicia, Spain","award":["PRTR-C17.11"],"award-info":[{"award-number":["PRTR-C17.11"]}]},{"name":"Xunta de Galicia, Spain","award":["PRTR-C17.11"],"award-info":[{"award-number":["PRTR-C17.11"]}]},{"name":"Xunta de Galicia, Spain","award":["PRTR-C17.11"],"award-info":[{"award-number":["PRTR-C17.11"]}]},{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"crossref","award":["ERDF"],"award-info":[{"award-number":["ERDF"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"crossref","award":["ERDF"],"award-info":[{"award-number":["ERDF"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"crossref","award":["ERDF"],"award-info":[{"award-number":["ERDF"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"crossref","award":["ERDF"],"award-info":[{"award-number":["ERDF"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"crossref","award":["ERDF"],"award-info":[{"award-number":["ERDF"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"crossref","award":["ERDF"],"award-info":[{"award-number":["ERDF"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100015068","name":"Universidade de Santiago de Compostela","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100015068","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Intermediate representations (IRs) are fundamental to classical and quantum computing, bridging high-level quantum programming languages and the hardware-specific instructions required for execution. This paper reviews the development of quantum IRs, focusing on their evolution and the need for abstraction layers that facilitate portability and optimization. Monolithic quantum IRs, such as QIR\u00a0(Lubinski et al. in Front Phys 10:940293, 2022. https:\/\/doi.org\/10.3389\/fphy.2022.940293), QSSA\u00a0(Peduri et al. in Proceedings of the 31st ACM SIGPLAN international conference on compiler construction. CC 2022. Association for Computing Machinery, New York, 2022), or Q-MLIR\u00a0(McCaskey and Nguyen in Proceedings-2021 IEEE International Conference on Quantum Computing and Engineering, QCE, 2021), their effectiveness in handling abstractions, and their hybrid support between quantum-classical operations are evaluated. However, a key limitation is their inability to address qubit locality, an essential feature for distributed quantum computing (DQC). To overcome this, InQuIR\u00a0(Nishio and Wakizaka in InQuIR: Intermediate Representation for Interconnected Quantum Computers, 2023. https:\/\/arxiv.org\/abs\/2302.00267) was introduced as an IR specifically designed for distributed systems, providing explicit control over qubit locality and inter-node communication. While effective in managing qubit distribution, InQuIR\u2019s dependence on manual manipulation of communication protocols increases complexity for developers. NetQIR\u00a0(V\u00e1zquez-P\u00e9rez et al. in NetQIR: An Extension of QIR for Distributed Quantum Computing, 2024. https:\/\/arxiv.org\/abs\/2408.03712), an extension of QIR for DQC, emerges as a solution to achieve the abstraction of quantum communications protocols. This review emphasizes the need for further advancements in IRs for distributed quantum systems, which will play a crucial role in the scalability and usability of future quantum networks.<\/jats:p>","DOI":"10.1007\/s11227-024-06892-2","type":"journal-article","created":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T14:55:26Z","timestamp":1737471326000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Review of intermediate representations for quantum computing"],"prefix":"10.1007","volume":"81","author":[{"given":"F. Javier","family":"Cardama","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jorge","family":"V\u00e1zquez-P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C\u00e9sar","family":"Pi\u00f1eiro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juan C.","family":"Pichel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tom\u00e1s F.","family":"Pena","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andr\u00e9s","family":"G\u00f3mez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,1,21]]},"reference":[{"key":"6892_CR1","doi-asserted-by":"publisher","DOI":"10.3389\/fphy.2022.940293","author":"T Lubinski","year":"2022","unstructured":"Lubinski T, Granade C, Anderson A, Geller A, Roetteler M, Petrenko A, Heim B (2022) Advancing hybrid quantum-classical computation with real-time execution. Front Phys. https:\/\/doi.org\/10.3389\/fphy.2022.940293","journal-title":"Front Phys"},{"key":"6892_CR2","doi-asserted-by":"publisher","unstructured":"Peduri A, Bhat S, Grosser T (2022) QSSA: an SSA-based IR for quantum computing. In: Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction. CC 2022. Association for Computing Machinery, New York, pp. 2\u201314. https:\/\/doi.org\/10.1145\/3497776.3517772","DOI":"10.1145\/3497776.3517772"},{"key":"6892_CR3","doi-asserted-by":"publisher","unstructured":"McCaskey A, Nguyen T (2021) A MLIR dialect for quantum assembly languages. In: Proceedings\u20142021 IEEE International Conference on Quantum Computing and Engineering, QCE 2021, pp 255\u2013264. https:\/\/doi.org\/10.1109\/QCE52317.2021.00043","DOI":"10.1109\/QCE52317.2021.00043"},{"key":"6892_CR4","unstructured":"Nishio S, Wakizaka R (2023) InQuIR: Intermediate Representation for Interconnected Quantum Computers. https:\/\/arxiv.org\/abs\/2302.00267"},{"key":"6892_CR5","unstructured":"V\u00e1zquez-P\u00e9rez J, Cardama FJ, Pi\u00f1eiro C, Pena TF, Pichel JC, G\u00f3mez A (2024) NetQIR: An Extension of QIR for Distributed Quantum Computing. https:\/\/arxiv.org\/abs\/2408.03712"},{"key":"6892_CR6","volume-title":"Compilers principles","author":"VA Alfred","year":"2007","unstructured":"Alfred VA, Monica SL, Jeffrey DU (2007) Compilers principles. Techniques & Tools. Pearson Education Inc, London"},{"key":"6892_CR7","doi-asserted-by":"crossref","unstructured":"Schneck PB (1973) A survey of compiler optimization techniques. In: Proceedings of the ACM Annual Conference, pp 106\u2013113","DOI":"10.1145\/800192.805690"},{"key":"6892_CR8","volume-title":"Theory and practice of compiler writing","author":"J-P Tremblay","year":"1985","unstructured":"Tremblay J-P, Sorenson PG (1985) Theory and practice of compiler writing. McGraw-Hill Inc, New York"},{"key":"6892_CR9","volume-title":"Engineering a compiler","author":"L Torczon","year":"2007","unstructured":"Torczon L, Cooper K (2007) Engineering a compiler. Morgan Kaufmann Publishers Inc., Cambridge"},{"issue":"10","key":"6892_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/368924.368928","volume":"1","author":"ME Conway","year":"1958","unstructured":"Conway ME (1958) Proposal for an UNCOL. Commun ACM 1(10):5\u20138. https:\/\/doi.org\/10.1145\/368924.368928","journal-title":"Commun ACM"},{"issue":"7","key":"6892_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/988574.988579","volume":"19","author":"KJ Ottenstein","year":"1984","unstructured":"Ottenstein KJ (1984) Intermediate program representations in compiler construction: a supplemental bibliography. SIGPLAN Not 19(7):25\u201327. https:\/\/doi.org\/10.1145\/988574.988579","journal-title":"SIGPLAN Not"},{"issue":"3","key":"6892_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2480741.2480743","volume":"45","author":"J Stanier","year":"2013","unstructured":"Stanier J, Watson D (2013) Intermediate representations in imperative compilers: a survey. ACM Comput Surv 45(3):1\u201327. https:\/\/doi.org\/10.1145\/2480741.2480743","journal-title":"ACM Comput Surv"},{"issue":"5","key":"6892_CR13","doi-asserted-by":"publisher","first-page":"1484","DOI":"10.1137\/s0097539795293172","volume":"26","author":"PW Shor","year":"1997","unstructured":"Shor PW (1997) Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J Comput 26(5):1484\u20131509. https:\/\/doi.org\/10.1137\/s0097539795293172","journal-title":"SIAM J Comput"},{"issue":"2","key":"6892_CR14","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1088\/0034-4885\/61\/2\/002","volume":"61","author":"A Steane","year":"1998","unstructured":"Steane A (1998) Quantum computing. Rep Prog Phys 61(2):117. https:\/\/doi.org\/10.1088\/0034-4885\/61\/2\/002","journal-title":"Rep Prog Phys"},{"issue":"7285","key":"6892_CR15","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1038\/nature08812","volume":"464","author":"TD Ladd","year":"2010","unstructured":"Ladd TD, Jelezko F, Laflamme R, Nakamura Y, Monroe C, O\u2019Brien JL (2010) Quantum computers. Nature 464(7285):45\u201353. https:\/\/doi.org\/10.1038\/nature08812","journal-title":"Nature"},{"key":"6892_CR16","volume-title":"Quantum computation and quantum information: 10th","author":"MA Nielsen","year":"2010","unstructured":"Nielsen MA, Chuang IL (2010) Quantum computation and quantum information: 10th, Anniversary. Cambridge University Press","edition":"Anniversary"},{"key":"6892_CR17","doi-asserted-by":"publisher","DOI":"10.1038\/nature23459","author":"FT Chong","year":"2017","unstructured":"Chong FT, Franklin D, Martonosi M (2017) Programming languages and compiler design for realistic quantum hardware. Nat Publ Group. https:\/\/doi.org\/10.1038\/nature23459","journal-title":"Nat Publ Group"},{"key":"6892_CR18","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/aaa5cc","author":"T H\u00e4ner","year":"2018","unstructured":"H\u00e4ner T, Steiger DS, Svore K, Troyer M (2018) A software methodology for compiling quantum programs. Ins Phys Publ. https:\/\/doi.org\/10.1088\/2058-9565\/aaa5cc","journal-title":"Ins Phys Publ"},{"issue":"2","key":"6892_CR19","doi-asserted-by":"publisher","first-page":"024002","DOI":"10.1088\/2058-9565\/ab6bf6","volume":"5","author":"AJ McCaskey","year":"2020","unstructured":"McCaskey AJ, Lyakh DI, Dumitrescu EF, Powers SS, Humble TS (2020) XACC: a system-level software infrastructure for heterogeneous quantum-classical computing. Quantum Sci Technol 5(2):024002. https:\/\/doi.org\/10.1088\/2058-9565\/ab6bf6","journal-title":"Quantum Sci Technol"},{"issue":"2","key":"6892_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3380964","volume":"16","author":"TM Mintz","year":"2020","unstructured":"Mintz TM, McCaskey AJ, Dumitrescu EF, Moore SV, Powers S, Lougovski P (2020) QCOR: a language extension specification for the heterogeneous quantum-classical model of computation. J Emerg Technol Comput Syst 16(2):1\u20137. https:\/\/doi.org\/10.1145\/3380964","journal-title":"J Emerg Technol Comput Syst"},{"key":"6892_CR21","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.softx.2018.07.007","volume":"7","author":"AJ McCaskey","year":"2018","unstructured":"McCaskey AJ, Dumitrescu EF, Liakh D, Chen M, Feng W, Humble TS (2018) A language and hardware independent approach to quantum-classical computing. SoftwareX 7:245\u2013254. https:\/\/doi.org\/10.1016\/j.softx.2018.07.007","journal-title":"SoftwareX"},{"key":"6892_CR22","doi-asserted-by":"publisher","unstructured":"Knuth DE, Pardo LT (1980) The early development of programming languages. In: A History of Computing in the Twentieth Century, pp 197\u2013273. https:\/\/doi.org\/10.1016\/B978-0-12-491650-0.50019-8","DOI":"10.1016\/B978-0-12-491650-0.50019-8"},{"key":"6892_CR23","unstructured":"Foundation L (2009) LLVM Assembly Language Reference Manual. https:\/\/releases.llvm.org\/2.6\/docs\/LangRef.html"},{"key":"6892_CR24","doi-asserted-by":"publisher","unstructured":"Lattner C, Adve V (2004) LLVM: a compilation framework for lifelong program analysis & transformation. In: International Symposium on Code Generation and Optimization, 2004. CGO 2004, pp 75\u201386. https:\/\/doi.org\/10.1109\/CGO.2004.1281665","DOI":"10.1109\/CGO.2004.1281665"},{"key":"6892_CR25","unstructured":"Terei DA, Chakravarty MM (2009) Low level virtual machine for Glasgow Haskell compiler. PhD Thesis, Bachelor\u2019s Thesis, Computer Science and Engineering Dept., The University of New South Wales"},{"issue":"19","key":"6892_CR26","doi-asserted-by":"publisher","first-page":"6781","DOI":"10.3390\/en16196781","volume":"16","author":"I \u015etirb","year":"2023","unstructured":"\u015etirb I, Gillich GR (2023) A low-level virtual machine just-in-time prototype for running an energy-saving hardware-aware mapping algorithm on C\/C++ applications that use pthreads. Energies 16(19):6781. https:\/\/doi.org\/10.3390\/en16196781","journal-title":"Energies"},{"key":"6892_CR27","unstructured":"Weaver G (1995) Compiler representations for heterogeneous processing. Technical Report UM-CS-1995-102, University of Massachusetts"},{"key":"6892_CR28","doi-asserted-by":"publisher","unstructured":"Belwal M, TSB, S (2015) Intermediate representation for heterogeneous multi-core: A survey. In: 2015 International Conference on VLSI Systems, Architecture, Technology and Applications (VLSI-SATA), pp 1\u20136. https:\/\/doi.org\/10.1109\/VLSI-SATA.2015.7050496","DOI":"10.1109\/VLSI-SATA.2015.7050496"},{"key":"6892_CR29","doi-asserted-by":"publisher","unstructured":"Lattner C, Amini M, Bondhugula U, Cohen A, Davis A, Pienaar J, Riddle R, Shpeisman T, Vasilache N, Zinenko O (2021) MLIR: scaling compiler infrastructure for domain specific computation. In: CGO 2021\u2014Proceedings of the 2021 IEEE\/ACM International Symposium on Code Generation and Optimization, pp 2\u201314. https:\/\/doi.org\/10.1109\/CGO51591.2021.9370308","DOI":"10.1109\/CGO51591.2021.9370308"},{"key":"6892_CR30","first-page":"17","volume":"3","author":"J Kessenich","year":"2018","unstructured":"Kessenich J, Ouriel B, Krisch R (2018) SPIR-V specification. Khronos Group 3:17","journal-title":"Khronos Group"},{"key":"6892_CR31","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/2542661.2544374","volume":"11","author":"F Chow","year":"2013","unstructured":"Chow F (2013) Intermediate representation. Queue 11:30\u201337. https:\/\/doi.org\/10.1145\/2542661.2544374","journal-title":"Queue"},{"key":"6892_CR32","doi-asserted-by":"publisher","unstructured":"Cytron R, Ferrante J, Rosen BK, Wegman MN, Zadeck FK (1989) An efficient method of computing static single assignment form. In: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL \u201989. Association for Computing Machinery, New York, pp 25\u201335. https:\/\/doi.org\/10.1145\/75277.75280","DOI":"10.1145\/75277.75280"},{"issue":"3","key":"6892_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3491247","volume":"3","author":"D Ittah","year":"2022","unstructured":"Ittah D, H\u00e4ner T, Kliuchnikov V, Hoefler T (2022) QIRO: a static single assignment-based quantum program representation for optimization. ACM Trans Quantum Comput 3(3):1\u201332. https:\/\/doi.org\/10.1145\/3491247","journal-title":"ACM Trans Quantum Comput"},{"key":"6892_CR34","unstructured":"Hietala K, Rand R, Hung SH, Wu X, Hicks M (2019) Verified Optimization in a Quantum Intermediate Representation. https:\/\/arxiv.org\/abs\/1904.06319"},{"key":"6892_CR35","doi-asserted-by":"publisher","first-page":"341","DOI":"10.22331\/q-2020-10-11-341","volume":"4","author":"XZ Luo","year":"2020","unstructured":"Luo XZ, Liu J-G, Zhang P, Wang L (2020) Yao. jl: extensible, efficient framework for quantum algorithm design. Quantum 4:341. https:\/\/doi.org\/10.22331\/q-2020-10-11-341","journal-title":"Quantum"},{"issue":"1","key":"6892_CR36","doi-asserted-by":"publisher","first-page":"014003","DOI":"10.1088\/2058-9565\/ab8e92","volume":"6","author":"S Sivarajah","year":"2020","unstructured":"Sivarajah S, Dilkes S, Cowtan A, Simmons W, Edgington A, Duncan R (2020) $${{\\rm t}}|{{\\rm ket}}\\rangle$$: a retargetable compiler for NISQ devices. Quantum Sci Technol 6(1):014003. https:\/\/doi.org\/10.1088\/2058-9565\/ab8e92","journal-title":"Quantum Sci Technol"},{"key":"6892_CR37","unstructured":"Van\u00a0Emmerik MJ (2007) Static single assignment for decompilation. PhD Thesis, University of Queensland, Queensland, Australia"},{"key":"6892_CR38","doi-asserted-by":"publisher","unstructured":"Rastello F, Tichadou FB (2022) SSA-based compiler design. Springer International Publishing, pp 1\u2013382. https:\/\/doi.org\/10.1007\/978-3-030-80515-9","DOI":"10.1007\/978-3-030-80515-9"},{"key":"6892_CR39","unstructured":"Barral D, Cardama FJ, D\u00edaz G, Fa\u00edlde D, Llovo IF, Juane MM, V\u00e1zquez-P\u00e9rez J, Villasuso J, Pi\u00f1eiro C, Costas N, et al (2024) Review of Distributed Quantum Computing. From single QPU to high performance quantum computing. https:\/\/arxiv.org\/abs\/24004.01265"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-024-06892-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-024-06892-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-024-06892-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T14:55:34Z","timestamp":1737471334000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-024-06892-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,21]]},"references-count":39,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2025,1]]}},"alternative-id":["6892"],"URL":"https:\/\/doi.org\/10.1007\/s11227-024-06892-2","relation":{},"ISSN":["1573-0484"],"issn-type":[{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1,21]]},"assertion":[{"value":"23 December 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 January 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"418"}}