Quantum computers promise dramatic advantages in processing speed over currently available computer systems. Quantum computing offers great promise in a wide variety of computing and scientific research, including Quantum cryptography, machine learning, computational biology, renewable energy, computer-aided drug design, generative chemistry, and any scientific or enterprise application that requires computation speed or reach beyond the limits of current conventional computer systems.
Foundations of Quantum Programming, Second Edition discusses how programming methodologies and technologies developed for current computers can be extended for quantum computers, along with new programming methodologies and technologies that can effectively exploit the unique power of quantum computing. The Second Edition includes two new chapters describing programming models and methodologies for parallel and distributed quantum computers. The author has also included two new chapters to introduce Quantum Machine Learning and its programming models – parameterized and differential quantum programming. In addition, the First Edition's preliminaries chapter has been split into three chapters, with two sections for quantum Turing machines and random access stored program machines added to give the reader a more complete picture of quantum computational models. Finally, several other new techniques are introduced in the Second Edition, including invariants of quantum programs and their generation algorithms, and abstract interpretation of quantum programs.
1. Chapter 1 : Introduction - p. Page xi 2. Introduction - p. Page 9 3. Chapter 2 : Quantum mechanics - p. Page 9 4. Chapter 3 : Models of quantum computation - p. Page 28 5. Chapter 4 : Quantum algorithms and communication protocols - p. Page 42 6. Introduction - p. Page 59 7. Chapter 5 : Quantum while-programs - p. Page 59 8. Chapter 6 : Quantum Hoare logic - p. Page 90 9. Introduction - p. Page 134 10. Chapter 7 : Verification of quantum programs - p. Page 134 11. Chapter 8 : Analysis of quantum programs - p. Page 167 12. Introduction - p. Page 230 13. Chapter 9 : Parallel quantum programs - p. Page 230 14. Chapter 10 : Distributed quantum programs - p. Page 262 15. Introduction - p. Page 289 16. Chapter 11 : Quantum case statements - p. Page 289 17. Chapter 12 : Quantum recursion - p. Page 326 18. Chapter 13 : Prospects - p. Page 363 19. Appendix A : Omitted proofs in the main text - p. Page 373 20. References - p. Page 433 21. Index - p. Page 433
Quantum computers promise dramatic advantages in processing speed over currently available computer systems. Quantum computing offers great promise in a wide variety of computing and scientific research, including Quantum cryptography, machine learning, computational biology, renewable energy, computer-aided drug design, generative chemistry, and any scientific or enterprise application that requires computation speed or reach beyond the limits of current conventional computer systems.
Foundations of Quantum Programming, Second Edition discusses how programming methodologies and technologies developed for current computers can be extended for quantum computers, along with new programming methodologies and technologies that can effectively exploit the unique power of quantum computing. The Second Edition includes two new chapters describing programming models and methodologies for parallel and distributed quantum computers. The author has also included two new chapters to introduce Quantum Machine Learning and its programming models – parameterized and differential quantum programming. In addition, the First Edition's preliminaries chapter has been split into three chapters, with two sections for quantum Turing machines and random access stored program machines added to give the reader a more complete picture of quantum computational models. Finally, several other new techniques are introduced in the Second Edition, including invariants of quantum programs and their generation algorithms, and abstract interpretation of quantum programs.
1. Chapter 1 : Introduction - p. Page xi 2. Introduction - p. Page 9 3. Chapter 2 : Quantum mechanics - p. Page 9 4. Chapter 3 : Models of quantum computation - p. Page 28 5. Chapter 4 : Quantum algorithms and communication protocols - p. Page 42 6. Introduction - p. Page 59 7. Chapter 5 : Quantum while-programs - p. Page 59 8. Chapter 6 : Quantum Hoare logic - p. Page 90 9. Introduction - p. Page 134 10. Chapter 7 : Verification of quantum programs - p. Page 134 11. Chapter 8 : Analysis of quantum programs - p. Page 167 12. Introduction - p. Page 230 13. Chapter 9 : Parallel quantum programs - p. Page 230 14. Chapter 10 : Distributed quantum programs - p. Page 262 15. Introduction - p. Page 289 16. Chapter 11 : Quantum case statements - p. Page 289 17. Chapter 12 : Quantum recursion - p. Page 326 18. Chapter 13 : Prospects - p. Page 363 19. Appendix A : Omitted proofs in the main text - p. Page 373 20. References - p. Page 433 21. Index - p. Page 433
