April 2024
Intermediate to advanced
400 pages
21h 1m
English
The challenge [of quantum software engineering] is to rework and extend the whole of classical software engineering into the quantum domain so that programmers can manipulate quantum programs with the same ease and confidence that they manipulate today's classical programs.
– excerpt from the 2004 Report of “UK Grand Challenges in Computing Research” [212]
This chapter presents a brief history of quantum programming language research. It introduces some basic ideas of and several different approaches to quantum programming. In particular, an aerial view of the subject is provided, and the structure of the book is shown.
Programming languages; Quantum parallelism; Superposition; Semantics; Verification; Analysis ...