Document Open Access Logo

Locus: A Proposal for Quantum Software Composition

Authors Javier Zayas Gallardo , Francisco Chicano , Carlos Canal , Juan Manuel Murillo

PDF HTML 5

Files

Thumbnail PDF
PDF
OASIcs.Programming.2025.17.pdf
  • Filesize: 0.61 MB
  • 10 pages
HTML5 Logo HTML (experimental)
OASIcs.Programming.2025.17.html

Document Identifiers

Subject Classification

ACM Subject Classification
  • Software and its engineering → Software creation and management
Keywords
  • Locus
  • Quantum programming
  • Quantum circuits

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

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.

Cite As Get BibTex

Javier Zayas Gallardo, Francisco Chicano, Carlos Canal, and Juan Manuel Murillo. Locus: A Proposal for Quantum Software Composition. In Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025). Open Access Series in Informatics (OASIcs), Volume 134, pp. 17:1-17:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/OASIcs.Programming.2025.17

Author Details

Javier Zayas Gallardo
  • ITIS Software, Universidad de Málaga, Málaga, Spain
Francisco Chicano
  • ITIS Software, Universidad de Málaga, Málaga, Spain
Carlos Canal
  • ITIS Software, Universidad de Málaga, Málaga, Spain
Juan Manuel Murillo
  • Quercus Software Engineering Group, Universidad de Extremadura, Cáceres, Spain

Funding

This work is partially supported by the AI4Software network (RED2022-134647-T).
  • Chicano, Francisco: Francisco Chicano is supported by the University of Malaga under grant PAR 4/2024.
  • Murillo, Juan Manuel: Juan M. Murillo is supported by the projects Q-SERV (PID2021-124054OB-C31), RuralServ (TED2021-130913B-I00), PDC2022-133465-I00, and RCIS (RED2022-134148-T) funded by the Ministry of Science and Innovation. Also by grant Ref.2024/00640/001 by the Regional Goberment of Extremadura.

References

  1. D. Coppersmith. An approximate fourier transform useful in quantum factoring, 2002. URL: https://arxiv.org/abs/quant-ph/0201067.
  2. Edsger Wybe Dijkstra. On the role of scientific thought (EWD447). In Selected Writings on Computing: A Personal Perspective, pages 60-66. Springer-Verlag, 1982. Google Scholar
  3. Edward Farhi, Jeffrey Goldstone, and Sam Gutmann. A quantum approximate optimization algorithm, 2014. URL: https://arxiv.org/abs/1411.4028.
  4. Miriam Fernández-Osuna, Ricardo Pérez-Castillo, José A Cruz-Lemus, Michal Baczyk, and Mario Piattini. Exploring design patterns in quantum software: a case study. Computing, 107(5):1-31, 2025. Google Scholar
  5. Lov K. Grover. A fast quantum mechanical algorithm for database search. In Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, STOC '96, pages 212-219, New York, NY, USA, 1996. Association for Computing Machinery. URL: https://doi.org/10.1145/237814.237866.
  6. Xiaoyu Guo, Takahiro Muta, and Jianjun Zhao. Quantum circuit ansatz: patterns of abstraction and reuse of quantum algorithm design. In 2024 IEEE International Conference on Quantum Software (QSW), pages 69-80. IEEE, 2024. URL: https://doi.org/10.1109/QSW62656.2024.00021.
  7. IBM Quantum. Ibm quantum guides, 2024. Accessed: 2025-05-29. URL: https://docs.quantum.ibm.com/guides.
  8. Juan Manuel Murillo, Jose Garcia-Alonso, et al. Quantum software engineering: Roadmap and challenges ahead. ACM Trans. Softw. Eng. Methodol., 34(5), May 2025. URL: https://doi.org/10.1145/3712002.
  9. Javier Sanchez-Rivero, Daniel Talaván, et al. Some initial guidelines for building reusable quantum oracles. In Flavia Monti, Pierluigi Plebani, Naouel Moha, Hye-young Paik, Johanna Barzen, Gowri Ramachandran, Devis Bianchini, Damian A. Tamburri, and Massimo Mecella, editors, Service-Oriented Computing - ICSOC 2023 Workshops, pages 197-208, Singapore, 2024. Springer Nature Singapore. Google Scholar
  10. Peter W Shor. Algorithms for quantum computation: discrete logarithms and factoring. In Proceedings 35th annual symposium on foundations of computer science, pages 124-134. IEEE, 1994. URL: https://doi.org/10.1109/SFCS.1994.365700.
  11. Tamás Varga, Yaiza Aragonés-Soria, and Manuel Oriol. Quantum types: going beyond qubits and quantum gates. In Proceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering, pages 49-52, 2024. URL: https://doi.org/10.1145/3643667.3648225.
  12. Jianjun Zhao. Quantum software engineering: Landscapes and horizons, 2021. URL: https://doi.org/10.48550/arXiv.2007.07047.
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact