2026-07-26T04:09:03Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:24301 2025-12-12T15:04:32Z ddc:004 open_access

Locus: A Proposal for Quantum Software Composition Zayas Gallardo, Javier Chicano, Francisco Canal, Carlos Murillo, Juan Manuel Locus Quantum programming Quantum circuits The way quantum programs based on circuits are built today has many analogies with how assembler routines were developed in the past. This way of writing programs is not only tedious but also makes it difficult to achieve good quality attributes such as reusability or maintainability. One of the main advances in improving the quality of classical software, as well as increasing programmers' productivity, was raising the level of abstraction in programming languages. This allowed developers to move away from direct bit-level operations - such as rotation, shifting, addition, or carry handling - toward working with a set of basic data types like Integer, Float, or Character, along with well-defined operations on them. We believe that introducing similar mechanisms in the field of Quantum Programming will help to achieve comparable benefits in quantum software. This paper presents the authors' preliminary efforts in this direction, introducing the concept of locus. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Javier Zayas Gallardo and Francisco Chicano and Carlos Canal and Juan Manuel Murillo 2025 Is Part Of OASIcs, Volume 134, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.Programming.2025.17 urn:nbn:de:0030-drops-243018 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.17 eng https://creativecommons.org/licenses/by/4.0/legalcode