A survey of important issues in quantum computing and communications
Driven by the rapid progress in quantum hardware, recent years have witnessed a furious
race for quantum technologies in both academia and industry. Universal quantum …
race for quantum technologies in both academia and industry. Universal quantum …
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 software engineering: Landscapes and horizons
J Zhao - ar** rapidly and there is a
surprisingly large literature. Research in this area includes the design of programming …
surprisingly large literature. Research in this area includes the design of programming …
Floyd--hoare logic for quantum programs
M Ying - ACM Transactions on Programming Languages and …, 2012 - dl.acm.org
Floyd--Hoare logic is a foundation of axiomatic semantics of classical programs, and it
provides effective proof techniques for reasoning about correctness of classical programs …
provides effective proof techniques for reasoning about correctness of classical programs …
The measurement calculus
Measurement-based quantum computation has emerged from the physics community as a
new approach to quantum computation where the notion of measurement is the main driving …
new approach to quantum computation where the notion of measurement is the main driving …
Quantum abstract interpretation
In quantum computing, the basic unit of information is a qubit. Simulation of a general
quantum program takes exponential time in the number of qubits, which makes simulation …
quantum program takes exponential time in the number of qubits, which makes simulation …