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 …

While recent progress in quantum hardware open the door for significant speedup in certain
key areas (cryptography, biology, chemistry, optimization, machine learning, etc), quantum …

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

This chapter provides an overview of state-of-the-art quantum software technologies:
quantum programming languages, quantum software simulators and design environments …

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 …

Reversible computing is both forward and backward deterministic. This means that a
uniquely determined step exists from the previous computational configuration (backward …

While the recent progress in quantum hardware opens the door for significant speedup in
cryptography as well as additional key areas (biology, chemistry, optimization, machine …

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