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 programming is an emerging area developed in last 2 decades from the
multidisciplinary research on quantum computing. Quantum computing combines the idea of …

Quantum computers promise dramatic advantages in processing speed over currently
available computer systems. Quantum computing offers great promise in a wide variety of …

We introduce the language QML, a functional language for quantum computations on finite
types. Its design is guided by its categorical semantics: QML programs are interpreted by …

The field of quantum programming languages is developing rapidly and there is a
surprisingly large literature. Research in this area includes the design of programming …

Quantum computations operate in the quantum world. For their results to be useful in any
way, there is an intrinsic necessity of cooperation and communication controlled by the …

Verification of quantum programs Page 1 Science of Computer Programming 78 (2013)
1679–1700 Contents lists available at SciVerse ScienceDirect Science of Computer …

We apply the notion of quantum predicate proposed by D'Hondt and Panangaden to
analyze a simple language fragment which may describe the quantum part of a future …

Loop is a powerful program construct in classical computation, but its power is still not
exploited fully in quantum computation. The exploitation of such power definitely requires a …