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 …
C Chareton, S Bardin, D Lee, B Valiron… - arXiv preprint arXiv …, 2021 - arxiv.org
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 …
JA Cruz-Lemus, MA Serrano - Quantum Software Engineering, 2022 - Springer
This chapter provides an overview of state-of-the-art quantum software technologies: quantum programming languages, quantum software simulators and design environments …
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 …
L Paolini, M Piccolo, L Roversi - New Generation Computing, 2018 - Springer
Reversible computing is both forward and backward deterministic. This means that a uniquely determined step exists from the previous computational configuration (backward …
C Chareton, D Lee, B Valiron, R Vilmart… - Handbook of Formal …, 2023 - taylorfrancis.com
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 …