{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T03:05:16Z","timestamp":1785294316164,"version":"3.55.0"},"publisher-location":"Cham","reference-count":53,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031901997","type":"print"},{"value":"9783031902000","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T00:00:00Z","timestamp":1749600000000},"content-version":"vor","delay-in-days":161,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Quantum compilation, critical for bridging high-level quantum programming and physical hardware, faces unique challenges distinct from classical compilation. As quantum computing advances, scalable and efficient quantum compilation methods become necessary. This paper surveys the landscape of quantum compilation, detailing the processes of qubit mapping and circuit optimization, and emphasizing the need for integration with classical computing to harness quantum advantages. Techniques such as Variational Quantum Eigensolver (VQE) exemplify hybrid approaches, highlighting the potential synergy between quantum and classical systems. It is concluded that, while quantum compilation retains many classic methodologies, it introduces novel complexities and opportunities for optimization and verification, essential for the evolving field of quantum computing.<\/jats:p>","DOI":"10.1007\/978-3-031-90200-0_9","type":"book-chapter","created":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T12:42:55Z","timestamp":1749559375000},"page":"100-112","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Quantum Compilation Process: A\u00a0Survey"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4909-9972","authenticated-orcid":false,"given":"F. Javier","family":"Cardama","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-1442-4181","authenticated-orcid":false,"given":"Jorge","family":"V\u00e1zquez-P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7622-4698","authenticated-orcid":false,"given":"Tom\u00e1s F.","family":"Pena","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9505-6493","authenticated-orcid":false,"given":"Juan C.","family":"Pichel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7272-8488","authenticated-orcid":false,"given":"Andr\u00e9s","family":"G\u00f3mez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,6,11]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","unstructured":"Quantum programming languages (2020). https:\/\/doi.org\/10.1038\/s42254-020-00245-7","DOI":"10.1038\/s42254-020-00245-7"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3483528","volume":"2","author":"X Fu","year":"2021","unstructured":"Fu, X., et al.: Quingo: a programming framework for heterogeneous quantum-classical computing with nisq features. ACM Trans. Quant. Comput. 2, 1\u201337 (2021). https:\/\/doi.org\/10.1145\/3483528","journal-title":"ACM Trans. Quant. Comput."},{"key":"9_CR3","unstructured":"Abhari, A.J., et\u00a0al.: Scaffold: Quantum programming language (2012)"},{"key":"9_CR4","volume-title":"Compilers: Principles, Techniques, and Tools","author":"AV Aho","year":"2006","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2006)","edition":"2"},{"key":"9_CR5","unstructured":"Altenkirch, T., Grattage, J.: A functional quantum programming language (2005)"},{"key":"9_CR6","doi-asserted-by":"publisher","unstructured":"Amy, M.: Towards large-scale functional verification of universal quantum circuits. Electron. Proc. Theor. Comput. Sci. EPTCS 287, 1\u201321 (2018). https:\/\/doi.org\/10.4204\/EPTCS.287.1. http:\/\/arxiv.org\/abs\/1805.06908","DOI":"10.4204\/EPTCS.287.1"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/72551.72552","volume":"21","author":"HE Bal","year":"1989","unstructured":"Bal, H.E., Steiner, J.G., Tanenbaum, A.S.: Programming languages for distributed computing systems. ACM Comput. Surv. (CSUR) 21, 261\u2013322 (1989). https:\/\/doi.org\/10.1145\/72551.72552","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"9_CR8","doi-asserted-by":"publisher","unstructured":"Bandic, M., Almudever, C.G., Feld, S.: Interaction graph-based characterization of quantum benchmarks for improving quantum circuit mapping techniques. Quant. Mach. Intell. 5, 1\u201330 (2023). https:\/\/doi.org\/10.1007\/S42484-023-00124-1\/TABLES\/4. https:\/\/link.springer.com\/article\/10.1007\/s42484-023-00124-1","DOI":"10.1007\/S42484-023-00124-1\/TABLES\/4"},{"key":"9_CR9","unstructured":"Bergholm, V., , et\u00a0al.: Pennylane: Automatic differentiation of hybrid quantum-classical computations (2018). http:\/\/arxiv.org\/abs\/1811.04968"},{"key":"9_CR10","doi-asserted-by":"publisher","unstructured":"Bettelli, S., et\u00a0al.: Toward an architecture for quantum programming. Eur. Phys. J. D - Atomic Molec. Opt. Plasma Phys. 25(2), 181\u2013200 (2003). https:\/\/doi.org\/10.1140\/EPJD\/E2003-00242-2","DOI":"10.1140\/EPJD\/E2003-00242-2"},{"key":"9_CR11","doi-asserted-by":"publisher","unstructured":"Bichsel, B., et\u00a0al.: Silq: a high-level quantum language with safe uncomputation and intuitive semantics. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 286\u2013300 (2020). https:\/\/doi.org\/10.1145\/3385412.3386007","DOI":"10.1145\/3385412.3386007"},{"key":"9_CR12","doi-asserted-by":"publisher","unstructured":"Coecke, B., Duncan, R.: Interacting quantum observables. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). LNCS, vol. 5126, pp. 298\u2013310 (2008). https:\/\/doi.org\/10.1007\/978-3-540-70583-3_25\/COVER","DOI":"10.1007\/978-3-540-70583-3_25\/COVER"},{"key":"9_CR13","doi-asserted-by":"publisher","unstructured":"Contributors, Q.: Qiskit: an open-source framework for quantum computing (2023). https:\/\/doi.org\/10.5281\/zenodo.2573505","DOI":"10.5281\/zenodo.2573505"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/BF00413693","volume":"108","author":"BJ Copeland","year":"1996","unstructured":"Copeland, B.J.: What is computation? Synthese 108, 335\u2013359 (1996)","journal-title":"Synthese"},{"issue":"5","key":"9_CR15","first-page":"369","volume":"98","author":"PJ Denning","year":"2010","unstructured":"Denning, P.J.: The great principles of computing. Am. Sci. 98(5), 369\u2013372 (2010)","journal-title":"Am. Sci."},{"key":"9_CR16","doi-asserted-by":"publisher","unstructured":"Developers, C.: Cirq (2023). https:\/\/doi.org\/10.5281\/zenodo.8161252","DOI":"10.5281\/zenodo.8161252"},{"issue":"3","key":"9_CR17","doi-asserted-by":"publisher","DOI":"10.7566\/JPSJ.90.032001","volume":"90","author":"S Endo","year":"2021","unstructured":"Endo, S., et al.: Hybrid quantum-classical algorithms and quantum error mitigation. J. Phys. Soc. Jpn. 90(3), 032001 (2021)","journal-title":"J. Phys. Soc. Jpn."},{"issue":"2","key":"9_CR18","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s11831-019-09372-6","volume":"28","author":"S Garhwal","year":"2019","unstructured":"Garhwal, S., Ghorani, M., Ahmad, A.: Quantum programming language: a systematic review of research topic and top cited languages. Arch. Comput. Methods Eng. 28(2), 289\u2013310 (2019). https:\/\/doi.org\/10.1007\/s11831-019-09372-6","journal-title":"Arch. Comput. Methods Eng."},{"key":"9_CR19","doi-asserted-by":"publisher","unstructured":"Gheorghiu, V.: Quantum++: a modern c++ quantum computing library. PLoS ONE 13 (2018). https:\/\/doi.org\/10.1371\/journal.pone.0208073","DOI":"10.1371\/journal.pone.0208073"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Giovannetti, V., Lloyd, S., Maccone, L.: Quantum random access memory. Phys. Rev. Lett. 100, 160501 (2008)","DOI":"10.1103\/PhysRevLett.100.160501"},{"key":"9_CR21","doi-asserted-by":"publisher","unstructured":"Green, A.S., et\u00a0al.: Quipper: a scalable quantum programming language (2013). https:\/\/doi.org\/10.1145\/2499370.2462177","DOI":"10.1145\/2499370.2462177"},{"key":"9_CR22","doi-asserted-by":"publisher","unstructured":"Guo, J., et\u00a0al.: isq: An integrated software stack for quantum programming. IEEE Trans. Quant. Eng. 4 (2023). https:\/\/doi.org\/10.1109\/TQE.2023.3275868","DOI":"10.1109\/TQE.2023.3275868"},{"key":"9_CR23","unstructured":"Haider, S., Kazmi, D.S.A.R.: An extended quantum process algebra (eqpalg) approach for distributed quantum systems (2020). http:\/\/arxiv.org\/abs\/2001.04249"},{"key":"9_CR24","doi-asserted-by":"publisher","unstructured":"Heurtel, N., et\u00a0al.: Perceval: a software platform for discrete variable photonic quantum computing. Quantum 7, 931 (2023). https:\/\/doi.org\/10.22331\/q-2023-02-21-931","DOI":"10.22331\/q-2023-02-21-931"},{"key":"9_CR25","unstructured":"Jaques, S., Rattew, A.G.: Qram: a survey and critique. arXiv preprint arXiv:2305.10310 (2023)"},{"key":"9_CR26","doi-asserted-by":"publisher","unstructured":"Jones, T., et\u00a0al.: Quest and high performance simulation of quantum computers. Sci. Rep. 9 (2019). https:\/\/doi.org\/10.1038\/s41598-019-47174-9","DOI":"10.1038\/s41598-019-47174-9"},{"key":"9_CR27","doi-asserted-by":"publisher","unstructured":"Jorrand, P., Lalire, M.: Toward a quantum process algebra. In: 2004 Computing Frontiers Conference, pp. 111\u2013119 (2004). https:\/\/doi.org\/10.1145\/977091.977108","DOI":"10.1145\/977091.977108"},{"key":"9_CR28","doi-asserted-by":"publisher","unstructured":"Kr\u00e4mer, S., Plankensteiner, D., Ostermann, L., Ritsch, H.: Quantumoptics.jl: a julia framework for simulating open quantum systems. Comput. Phys. Commun. 227, 109\u2013116 (2018). https:\/\/doi.org\/10.1016\/J.CPC.2018.02.004","DOI":"10.1016\/J.CPC.2018.02.004"},{"key":"9_CR29","doi-asserted-by":"publisher","unstructured":"Lapets, A., da\u00a0Silva, M.P., Thome, M., Adler, A., Beal, J., Roetteler, M.: Quafl: a typed dsl for quantum programming, pp. 19\u201326. Association for Computing Machinery (2013). https:\/\/doi.org\/10.1145\/2505351.2505357","DOI":"10.1145\/2505351.2505357"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-030-01461-2_8","volume-title":"Symposium on Real-Time and Hybrid Systems","author":"S Liu","year":"2018","unstructured":"Liu, S., et al.: $$Q|SI\\rangle $$\u00a0: a quantum programming environment. In: Jones, C., Wang, J., Zhan, N. (eds.) Symposium on Real-Time and Hybrid Systems. LNCS, vol. 11180, pp. 133\u2013164. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01461-2_8"},{"key":"9_CR31","doi-asserted-by":"publisher","unstructured":"Liu, X., Kubiatowicz, J.: Chisel-q: designing quantum circuits with a scala embedded language. In: 2013 IEEE 31st International Conference on Computer Design, ICCD 2013, pp. 427\u2013434 (2013). https:\/\/doi.org\/10.1109\/ICCD.2013.6657075","DOI":"10.1109\/ICCD.2013.6657075"},{"key":"9_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-319-55911-7_33","volume-title":"Theory and Applications of Models of Computation","author":"L Paolini","year":"2017","unstructured":"Paolini, L., Zorzi, M.: qPCF: a language for quantum circuit computations. In: Gopal, T.V., J\u00e4ger, G., Steila, S. (eds.) TAMC 2017. LNCS, vol. 10185, pp. 455\u2013469. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-55911-7_33"},{"key":"9_CR33","doi-asserted-by":"publisher","unstructured":"Luo, X.Z., et\u00a0al.: Yao.jl: extensible, efficient framework for quantum algorithm design (2020). https:\/\/doi.org\/10.22331\/q-2020-10-11-341","DOI":"10.22331\/q-2020-10-11-341"},{"key":"9_CR34","unstructured":"Mauerer, W.: Semantics and simulation of communication in quantum programming (2005)"},{"key":"9_CR35","unstructured":"Maymin, P.: Extending the lambda calculus to express randomized and quantumized algorithms (1996). https:\/\/arxiv.org\/abs\/quant-ph\/9612052v2"},{"key":"9_CR36","doi-asserted-by":"publisher","unstructured":"Mintz, T.M., et\u00a0al.: Qcor: a language extension specification for the heterogeneous quantum-classical model of computation. J. Emerg. Technol. Comput. Syst. 16(2) (2020). https:\/\/doi.org\/10.1145\/3380964","DOI":"10.1145\/3380964"},{"key":"9_CR37","unstructured":"Mlnarik, H.: Operational semantics and type soundness of quantum programming language lanq (2007). https:\/\/arxiv.org\/abs\/0708.0890v1"},{"key":"9_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-030-14082-3_18","volume-title":"Quantum Technology and Optimization Problems","author":"A Paler","year":"2019","unstructured":"Paler, A.: On the influence of initial qubit placement during NISQ circuit compilation. In: Feld, S., Linnhoff-Popien, C. (eds.) QTOP 2019. LNCS, vol. 11413, pp. 207\u2013217. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-14082-3_18"},{"key":"9_CR39","doi-asserted-by":"publisher","unstructured":"Paykin, J., Rand, R., Zdancewic, S.: Qwire: a core language for quantum circuits. ACM SIGPLAN Not. 52, 846\u2013858 (2017). https:\/\/doi.org\/10.1145\/3009837.3009894","DOI":"10.1145\/3009837.3009894"},{"key":"9_CR40","unstructured":"Purkeypile, M.D.: Cove: A practical quantum computer programming framework. arXiv org (2009)"},{"key":"9_CR41","doi-asserted-by":"publisher","unstructured":"Rios, F., Selinger, P.: A categorical model for a quantum circuit description language. Electron. Proc. Theor. Comput. Sci. 266 (2017). https:\/\/doi.org\/10.4204\/EPTCS.266.11","DOI":"10.4204\/EPTCS.266.11"},{"key":"9_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3548679","volume":"55","author":"MA Serrano","year":"2023","unstructured":"Serrano, M.A., Cruz-Lemus, J.A., Perez-Castillo, R., Piattini, M.: Quantum software components and platforms: overview and quality assessment. ACM Comput. Surv. 55, 1\u201331 (2023). https:\/\/doi.org\/10.1145\/3548679","journal-title":"ACM Comput. Surv."},{"key":"9_CR43","doi-asserted-by":"crossref","unstructured":"Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comput. 26(5), 1484\u20131509 (1997)","DOI":"10.1137\/S0097539795293172"},{"key":"9_CR44","doi-asserted-by":"publisher","unstructured":"Siraichi, M.Y., et\u00a0al.: Qubit allocation. In: Proceedings of the 2018 International Symposium on Code Generation and Optimization, CGO 2018, pp. 113\u2013125. Association for Computing Machinery, New York (2018). https:\/\/doi.org\/10.1145\/3168822","DOI":"10.1145\/3168822"},{"key":"9_CR45","doi-asserted-by":"publisher","unstructured":"Steiger, D.S., et\u00a0al.: Projectq: an open source software framework for quantum computing. Quantum 2 (2018). https:\/\/doi.org\/10.22331\/q-2018-01-31-49","DOI":"10.22331\/q-2018-01-31-49"},{"key":"9_CR46","doi-asserted-by":"publisher","unstructured":"Suzuki, Y., et\u00a0al.: Qulacs: a fast and versatile quantum circuit simulator for research purpose. Quantum 5 (2021). https:\/\/doi.org\/10.22331\/Q-2021-10-06-559","DOI":"10.22331\/Q-2021-10-06-559"},{"key":"9_CR47","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.physrep.2022.08.003","volume":"986","author":"J Tilly","year":"2022","unstructured":"Tilly, J., et al.: The variational quantum eigensolver: a review of methods and best practices. Phys. Rep. 986, 1\u2013128 (2022). https:\/\/doi.org\/10.1016\/j.physrep.2022.08.003","journal-title":"Phys. Rep."},{"key":"9_CR48","doi-asserted-by":"publisher","unstructured":"van Tonder, A.: A lambda calculus for quantum computation. SIAM J. Comput. 33, 1109\u20131135 (2003). https:\/\/doi.org\/10.1137\/S0097539703432165","DOI":"10.1137\/S0097539703432165"},{"issue":"345\u2013363","key":"9_CR49","first-page":"5","volume":"58","author":"AM Turing","year":"1936","unstructured":"Turing, A.M., et al.: On computable numbers, with an application to the entscheidungsproblem. J. Math 58(345\u2013363), 5 (1936)","journal-title":"J. Math"},{"key":"9_CR50","doi-asserted-by":"publisher","unstructured":"Voichick, F., et\u00a0al.: Qunity: a unified language for quantum and classical computing. Proc. ACM Program. Lang. 7, 921\u2013951 (2023). https:\/\/doi.org\/10.1145\/3571225","DOI":"10.1145\/3571225"},{"key":"9_CR51","unstructured":"Wecker, D., Svore, K.M.: Liqui|spsdoigtsps: a software design architecture and domain-specific language for quantum computing (2014)"},{"key":"9_CR52","unstructured":"Zuliani, P.: Non-deterministic quantum programming, pp. 179\u2013195 (2004)"},{"key":"9_CR53","doi-asserted-by":"publisher","unstructured":"\u00d6mer, B.: Classical concepts in quantum programming. Int. J. Theor. Phys. 44, 943\u2013955 (2005). https:\/\/doi.org\/10.1007\/S10773-005-7071-X\/METRICS","DOI":"10.1007\/S10773-005-7071-X\/METRICS"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2024: Parallel Processing Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-90200-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T12:59:14Z","timestamp":1759496354000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-90200-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031901997","9783031902000"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-90200-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"11 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors declare no conflict of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"Euro-Par","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Parallel Processing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Madrid","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"europar2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2024.euro-par.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}