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 …

While recent progress in quantum hardware open the door for significant speedup in certain
key areas, quantum algorithms are still hard to implement right, and the validation of such …

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

Abstract After Alzheimer's disease, Parkinson's disease is the most prevalent
neurodegenerative condition. Because it is fatal and affects a large proportion of the world's …

With advances in quantum computing, researchers can now write and run many quantum
programs. However, there is still a lack of effective methods for debugging quantum …

This chapter is devoted to a discussion on the semantics of quantum programming
languages. We will discuss two main paradigms: the usual, standard co-processor model …

This thesis contains contributions to the mathematical foundations of quantum programming
languages. The likely arrival of scalable quantum computers in the not-so-distant future has …

We present IQu, namely a quantum programming language that extends Reynold's
Idealized Algol, the paradigmatic core of Algol-like languages. IQu combines imperative …

The development of quantum computing has attracted considerable attention to quantum
programming. However, there is no effective method for quantum program error. Due to the …