
Foundations of Quantum Programming
Mingsheng Ying(Author)
Morgan Kaufmann (Publisher)
2nd Edition
Published on 3. May 2024
Book
Paperback/Softback
472 pages
978-0-443-15942-8 (ISBN)
Description
Foundations of Quantum Programming, Second Edition provides a systematic exposition of the subject of quantum programming. Emphasis is placed on foundational concepts, methods, and techniques that can be widely used for various quantum programming models and languages. The book describes how programming methodologies developed for current computers can be extended for quantum computers, along with new programming methodologies that can effectively exploit the unique power of quantum computing. In addition, this resource introduces a chain of quantum programming models from sequential to parallel and distributed programming in the paradigm of superposition-of-data to the paradigm of superposition-of-programs.
Final content presents a series of logical and mathematical tools for verification and analysis of quantum programs, including invariant generation, termination analysis, and abstract interpretation.
Final content presents a series of logical and mathematical tools for verification and analysis of quantum programs, including invariant generation, termination analysis, and abstract interpretation.
More details
Edition
2nd edition
Language
English
Place of publication
San Francisco
United States
Publishing group
Elsevier Science & Technology
Target group
Professional and scholarly
Product notice
Paperback (trade)
Dimensions
Height: 275 mm
Width: 211 mm
Thickness: 23 mm
Weight
1270 gr
ISBN-13
978-0-443-15942-8 (9780443159428)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Mingsheng Ying
Foundations of Quantum Programming
E-Book
04/2024
2nd Edition
Morgan Kaufmann
€130.00
Available for download
Previous edition

Mingsheng Ying
Foundations of Quantum Programming
Book
03/2016
Morgan Kaufmann
€116.36
Shipment within 15-20 days
Person
Mingsheng Ying is currently Deputy Director for Research of the Institute of Software, Chinese Academy of Sciences; Director of the Centre for Quantum Software, Tsinghua University; and Hui Yan Chair Professor of Computer Science, Tsinghua University.
He has published three books and served on the editorial board of several publications, including Artificial Intelligence Journal (Elsevier). He is inaugural Editor-in-Chief of ACM Transactions on Quantum Computing.
He received an NSF China Distinguished Young Scholar Award (1997) and a China National Science Award in Natural Science (2008).
He has published three books and served on the editorial board of several publications, including Artificial Intelligence Journal (Elsevier). He is inaugural Editor-in-Chief of ACM Transactions on Quantum Computing.
He received an NSF China Distinguished Young Scholar Award (1997) and a China National Science Award in Natural Science (2008).
Author
Deputy Director for Research, Institute of Software, Chinese Academy of Sciences; Director, Centre for Quantum Software, Tsinghua University; and Hui Yan Chair Professor of Computer Science, Tsinghua University, China
Content
1. Introduction
Part I Preliminaries
2. Quantum Mechanics
3. Models of Quantum Computation
4. Quantum Algorithms
Part II Sequential Quantum Programs
5. Quantum While-Programs
6. Quantum Hoare Logic
7. Analysis of Quantum Programs
Part III Parallel and Distributed Quantum Programs
8. Parallel Quantum Programs
9. Distributed Quantum Programs
Part IV Quantum Control Flows
10. Quantum Case Statements
11. Quantum Recursion
Part V Programming for Quantum Machine Learning
12. Quantum Machine Learning
13. Differential Quantum Programming
Part VI Appendices
Appendix
I: Omitted Proofs in Chapter 5
II: Omitted Proofs in Chapter 7
III: Omitted Proofs in Chapter 10
Part I Preliminaries
2. Quantum Mechanics
3. Models of Quantum Computation
4. Quantum Algorithms
Part II Sequential Quantum Programs
5. Quantum While-Programs
6. Quantum Hoare Logic
7. Analysis of Quantum Programs
Part III Parallel and Distributed Quantum Programs
8. Parallel Quantum Programs
9. Distributed Quantum Programs
Part IV Quantum Control Flows
10. Quantum Case Statements
11. Quantum Recursion
Part V Programming for Quantum Machine Learning
12. Quantum Machine Learning
13. Differential Quantum Programming
Part VI Appendices
Appendix
I: Omitted Proofs in Chapter 5
II: Omitted Proofs in Chapter 7
III: Omitted Proofs in Chapter 10