Skip to Main Content
Foundations of Quantum Programming, 2nd Edition
book

Foundations of Quantum Programming, 2nd Edition

by Mingsheng Ying
April 2024
Intermediate to advanced content levelIntermediate to advanced
400 pages
21h 1m
English
Morgan Kaufmann
Content preview from Foundations of Quantum Programming, 2nd Edition

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 ...

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Quantum Computing by Practice: Python Programming in the Cloud with Qiskit and IBM-Q

Quantum Computing by Practice: Python Programming in the Cloud with Qiskit and IBM-Q

Vladimir Silva
The Mathematics of Machine Learning

The Mathematics of Machine Learning

Maria Han Veiga, François Gaston Ged

Publisher Resources

ISBN: 9780443159435