Chapter 11: Quantum case statements
Abstract
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.
Keywords
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 ...
Get Foundations of Quantum Programming, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
