Document Open Access Logo

Exploring a Quantum Programming Language with Concurrency

Authors Manisha Jain , Vitor Fernandes , Alexandre Madeira , Luís S. Barbosa

PDF

File

Thumbnail PDF
PDF
OASIcs.Programming.2025.16.pdf
  • Filesize: 0.69 MB
  • 9 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Theory of computation → Operational semantics
Keywords
  • Quantum programming
  • semantics prototyping
  • Maude

Metrics

Abstract

In quantum programming, as in the classical case, concurrent control is a form of program coordination that proves well suited to express complex composition patterns. This paper introduces a quantum programming language with explicit parallel and synchronization primitives and its semantics. The language is explored through a Maude implementation, and illustrated with two non trivial examples.

Cite As Get BibTex

Manisha Jain, Vitor Fernandes, Alexandre Madeira, and Luís S. Barbosa. Exploring a Quantum Programming Language with Concurrency. 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. 16:1-16:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/OASIcs.Programming.2025.16

Author Details

Manisha Jain
  • CIDMA - Research Center in Mathematics and Applications, Aveiro, Portugal
  • Mathematics Department of University of Aveiro, Portugal
  • International Iberian Nanotechnology Laboratory, Braga, Portugal
Vitor Fernandes
  • HasLab INESC TEC, University of Minho, Braga, Portugal
Alexandre Madeira
  • CIDMA - Research Center in Mathematics and Applications, Aveiro, Portugal
  • Mathematics Department of University of Aveiro, Portugal
Luís S. Barbosa
  • HasLab INESC TEC, University of Minho, Braga, Portugal
  • UNU-EGOV, United Nations University, Tokyo, Japan

Funding

This work is financed by National Funds through FCT - Fundação para a Ciência e a Tecnologia, I.P. (Portuguese Foundation for Science and Technology) within the project IBEX, with reference 10.54499/PTDC/CCI-COM/4280/2021, and by CIDMA with UIDP/04106/2025 and UIDB/04106/2025.

Supplementary Materials

References

  1. Dorit Aharonov, Maor Ganz, and Loick Magnin. Dining philosophers, leader election and ring size problems, in the quantum setting, 2017. URL: https://arxiv.org/abs/1707.01187.
  2. Charles H Bennett, Gilles Brassard, Claude Crépeau, Richard Jozsa, Asher Peres, and William K Wootters. Teleporting an unknown quantum state via dual classical and einstein-podolsky-rosen channels. Physical review letters, 70(13):1895, 1993. Google Scholar
  3. Stephen Brookes. Full abstraction for a shared-variable parallel language. Information and Computation, 127(2):145-163, 1996. URL: https://doi.org/10.1006/INCO.1996.0056.
  4. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martı-Oliet, José Meseguer, and José F Quesada. Maude: Specification and programming in rewriting logic. Theoretical Computer Science, 285(2):187-243, 2002. URL: https://doi.org/10.1016/S0304-3975(01)00359-0.
  5. Richard Cleve and John Watrous. Fast parallel circuits for the quantum fourier transform, 2000. URL: https://doi.org/10.1109/SFCS.2000.892140.
  6. Henry Corrigan-Gibbs, David J. Wu, and Dan Boneh. Quantum operating systems. In Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS '17, pages 76-81, New York, NY, USA, 2017. Association for Computing Machinery. URL: https://doi.org/10.1145/3102980.3102993.
  7. Maria Inês Machado Correia Brioso Dias. An interpreter for a concurrent quantum language. Master’s thesis, University of Minho, 2024. Google Scholar
  8. Canh Minh Do. Automated Quantum Protocol Verification Based on Dynamic Quantum Logic. URL: https://github.com/canhminhdo/dql.
  9. Canh Minh Do and Kazuhiro Ogata. Symbolic model checking quantum circuits in maude. PeerJ Computer Science, 10:e2098, 2024. URL: https://doi.org/10.7717/PEERJ-CS.2098.
  10. Lov K Grover. A fast quantum mechanical algorithm for database search. In Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, pages 212-219, 1996. URL: https://doi.org/10.1145/237814.237866.
  11. Manisha Jain and Vitor Fernandes. Maude Implementation for Concurrent Quantum Programming Language. Software, (visited on 2025-07-16). URL: https://github.com/jmanishajain/CQDL
    Software Heritage Logo archived version
    full metadata available at: https://doi.org/10.4230/artifacts.23607
  12. Manisha Jain, Vitor Fernandes, and Alexandre Madeira. Adding concurrency to a quantum dynamic logic. In Songmao Zhang and Luis Soares Barbosa, editors, Artificial Intelligence Logic and Applications, pages 17-31, Singapore, 2025. Springer Nature Singapore. Google Scholar
  13. Canh Minh Do and Kazuhiro Ogata. An executable operational semantics of quantum programs and its application. In International Symposium on Software Fault Prevention, Verification, and Validation, pages 15-31. Springer, 2024. URL: https://doi.org/10.1007/978-981-96-1621-3_2.
  14. Tsubasa Takagi, Canh Minh Do, and Kazuhiro Ogata. Automated quantum program verification in a dynamic quantum logic. In Nina Gierasimczuk and Fernando R. Velázquez-Quesada, editors, Proc. DaLí'2023: Dynamic Logic. New Trends and Applications, pages 68-84. Springer Lecture Notes in Computer Science, 14401, 2024. Google Scholar
  15. Seiichiro Tani, Hirotada Kobayashi, and Keiji Matsumoto. Exact quantum algorithms for the leader election problem. ACM Trans. Comput. Theory, 4(1), March 2012. URL: https://doi.org/10.1145/2141938.2141939.
  16. Mingsheng Ying, Li Zhou, and Yangjia Li. Reasoning about parallel quantum programs. arXiv preprint arXiv:1810.11334, 2018. URL: https://doi.org/10.1145/1122445.1122456.
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