April 2024
Intermediate to advanced
400 pages
21h 1m
English
In this chapter, we introduce two basic program constructs with quantum control flows, namely quantum case statement and quantum choice. They can serve as a basis for defining other program constructs in the paradigm of superposition-of-programs. Their semantics are formally defined, and a series of algebraic laws for them are derived.
Guarded command language; Quantum case statement; Quantum choice; Guarded composition of quantum operations; Semantics; Algebraic laws
Quantum programs in the superposition-of-data paradigm have been systematically investigated in Chapters 5 to 10. In particular, in Chapter 5, we studied quantum while-programs and recursive quantum programs, and showed how can some ...