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 …
A Elsharkawy, XTM To, P Seitz, Y Chen… - arXiv preprint arXiv …, 2023 - cse.wustl.edu
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 …
L Paolini, M Piccolo, M Zorzi - Journal of Automated Reasoning, 2019 - Springer
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 …
AB Matos, L Paolini, L Roversi - Theoretical Computer Science, 2020 - Elsevier
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 …