Index

Note: Page numbers followed by f indicate figures.

A

Abstract interpretation techniques 334
Adiabatic quantum computation 328
Algebraic laws 
quantum case statements 241–244
quantum choice 242–243
Annihilation operator 294, 295
Associative law 
quantum case statements 242
quantum choice 243
Average running time 171, 173
Axiomatic system 123–130

B

Birkhoff-von Neumann quantum logic 4-5, 104, 253–254
Bit flip channel 144
Bloch sphere 32-33
Bosons 285
coherent state 318
Fock space 290
Bottom strongly connected component (BSCC) 179–183
application 182–183
characterizations of 181-182
decomposition 185–188
quantum Markov chain 192
Bound function 
Floyd-hoare logic 137
of quantum loop 130–132

C

Categorical semantics 331–332
Circuits, quantum  ...

Get Foundations of Quantum Programming now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.