Book description
Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exploit the unique power of quantum computers, which promise dramatic advantages in processing speed over currently available computer systems. Governments and industries around the globe are now investing vast amounts of money with the expectation of building practical quantum computers. Drawing upon years of experience and research in quantum computing research and using numerous examples and illustrations, Mingsheng Ying has created a very useful reference on quantum programming languages and important tools and techniques required for quantum programming, making the book a valuable resource for academics, researchers, and developers.
- Demystifies the theory of quantum programming using a step-by-step approach
- Covers the interdisciplinary nature of quantum programming by providing examples from many different fields including, engineering, computer science, medicine, and life sciences
- Includes techniques and tools to solve complex control flow patterns and synchronize computations
- Presents a coherent and self-contained treatment that will be valuable for academics and industrial researchers and developers
Table of contents
- Cover image
- Title page
- Table of Contents
- Copyright
- Preface
- Acknowledgments
- Part I: Introduction and Preliminaries
- Part II: Quantum Programs with Classical Control
-
Part III: Quantum Programs with Quantum Control
-
Chapter 6: Quantum case statements
- Abstract
- 6.1 Case statements: from classical to quantum
- 6.2 QuGCL: a language with quantum case statement
- 6.3 Guarded compositions of quantum operations
- 6.4 Semantics of QuGCL programs
- 6.5 Quantum choice
- 6.6 Algebraic laws
- 6.7 Illustrative examples
- 6.8 Discussions
- 6.9 Proofs of lemmas, propositions and theorems
- 6.10 Bibliographic remarks
-
Chapter 7: Quantum recursion
- Abstract
- 7.1 Syntax of quantum recursive programs
- 7.2 Motivating examples: recursive quantum walks
- 7.3 Second quantization
- 7.4 Solving recursive equations in the free fock space
- 7.5 Recovering symmetry and antisymmetry
- 7.6 Principal system semantics of quantum recursion
- 7.7 Illustrative examples: Revisit recursive quantum walks
- 7.8 Quantum while-loops (with quantum control)
- 7.9 Bibliographic remarks
-
Chapter 6: Quantum case statements
-
Part IV: Prospects
-
Chapter 8: Prospects
- Abstract
- 8.1 Quantum programs and quantum machines
- 8.2 Implementation of quantum programming languages
- 8.3 Functional quantum programming
- 8.4 Categorical semantics of quantum programs
- 8.5 From concurrent quantum programs to quantum concurrency
- 8.6 Entanglement in quantum programming
- 8.7 Model-checking quantum systems
- 8.8 Quantum programming applied to physics
-
Chapter 8: Prospects
- Bibliography
- Index
Product information
- Title: Foundations of Quantum Programming
- Author(s):
- Release date: March 2016
- Publisher(s): Morgan Kaufmann
- ISBN: 9780128025468
You might also like
book
Quantum Computing with Silq Programming
Learn the mathematics behind quantum computing and explore the high-level quantum language Silq to take your …
book
Elements of Quantum Computation and Quantum Communication
While there are many available textbooks on quantum information theory, most are either too technical for …
book
Quantum Computing in Practice with Qiskit® and IBM Quantum Experience®
Understand the nuances of programming traditional quantum computers and solve the challenges of the future while …
book
Practical Quantum Computing for Developers: Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience
Write algorithms and program in the new field of quantum computing. This book covers major topics …