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

Start your free trial