Quantum computing is the latest revolution in computing and will probably come to be seen
as an advance as important as the steam engine or the information society. In the last few …

Quantum software plays a critical role in exploiting the full potential of quantum computing
systems. As a result, it has been drawing increasing attention recently. This paper defines …

Quantum computing (QC) introduces a novel mode of computation with the possibility of
greater computational power that remains to be exploited—presenting exciting opportunities …

Q# is a standalone domain-specific programming language from Microsoft for writing and
running quantum programs. Like most industrial languages, it was designed without a formal …

The standard architecture for quantum computers follows the quantum circuit model, which
presents quantum computations as sequences of gates over qubits. As with classical …

Abstract qPCF is a paradigmatic quantum programming language that extends PCF with
quantum circuits and a quantum co-processor. Quantum circuits are treated as classical data …

Quantum computing (QC) introduces a novel mode of computation with the possibility of
greater computational power that remains to be exploited $\unicode {x2013} $ presenting …

This work introduces MCBeth, a quantum programming language that bridges the gap
between near-term and non-near-term languages. MCBeth allows users to directly program …

SRL is a total programming language with distinctive features:(i) every program that
mentions n registers defines a bijection Z n→ Z n, and (ii) the generation of the SRL-program …

Contrary to the classical case, the relation between quantum programming languages and
quantum Turing Machines (QTM) has not been fully investigated. In particular, there are …