DROPS

Document

DOI: 10.4230/OASIcs.Programming.2025.17

Locus: A Proposal for Quantum Software Composition

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

Published in: OASIcs, Volume 134, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)

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

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)

Copy BibTex To Clipboard

@InProceedings{zayasgallardo_et_al:OASIcs.Programming.2025.17,
  author =	{Zayas Gallardo, Javier and Chicano, Francisco and Canal, Carlos and Murillo, Juan Manuel},
  title =	{{Locus: A Proposal for Quantum Software Composition}},
  booktitle =	{Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)},
  pages =	{17:1--17:10},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-382-9},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{134},
  editor =	{Edwards, Jonathan and Perera, Roly and Petricek, Tomas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.17},
  URN =		{urn:nbn:de:0030-drops-243018},
  doi =		{10.4230/OASIcs.Programming.2025.17},
  annote =	{Keywords: Locus, Quantum programming, Quantum circuits}
}

Search Results

Documents authored by Canal, Carlos

Locus: A Proposal for Quantum Software Composition

Abstract

Cite as

Thanks for your feedback!

Could not send message