2026-07-25T09:40:05Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:24300 2025-09-17T14:19:50Z ddc:004 open_access

Exploring a Quantum Programming Language with Concurrency Jain, Manisha Fernandes, Vitor Madeira, Alexandre Barbosa, Luís S. Quantum programming semantics prototyping Maude 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Manisha Jain and Vitor Fernandes and Alexandre Madeira and Luís S. Barbosa 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.16 urn:nbn:de:0030-drops-243001 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.16 eng https://creativecommons.org/licenses/by/4.0/legalcode