Quantum software components and platforms: Overview and quality assessment
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 …
as an advance as important as the steam engine or the information society. In the last few …
Quantum programming languages
Quantum programming languages are essential to translate ideas into instructions that can
be executed by a quantum computer. Not only are they crucial to the programming of …
be executed by a quantum computer. Not only are they crucial to the programming of …
Overview and comparison of gate level quantum software platforms
R LaRose - Quantum, 2019 - quantum-journal.org
Quantum computers are available to use over the cloud, but the recent explosion of quantum
software platforms can be overwhelming for those deciding on which to use. In this paper …
software platforms can be overwhelming for those deciding on which to use. In this paper …
Projection-based runtime assertions for testing and debugging quantum programs
In this paper, we propose Proq, a runtime assertion scheme for testing and debugging
quantum programs on a quantum computer. The predicates in Proq are represented by …
quantum programs on a quantum computer. The predicates in Proq are represented by …
Statistical assertions for validating patterns and finding bugs in quantum programs
In support of the growing interest in quantum computing experimentation, programmers
need new tools to write quantum algorithms as program code. Compared to debugging …
need new tools to write quantum algorithms as program code. Compared to debugging …
A verified optimizer for quantum circuits
We present VOQC, the first fully verified optimizer for quantum circuits, written using the Coq
proof assistant. Quantum circuits are expressed as programs in a simple, low-level language …
proof assistant. Quantum circuits are expressed as programs in a simple, low-level language …