Skip to main content
View Cart

Foundations of Quantum Programming

  • 2nd Edition - April 29, 2024
  • Latest edition
  • Author: Mingsheng Ying
  • Language: English

Foundations of Quantum Programming, Second Edition provides a systematic exposition of the subject of quantum programming. Emphasis is placed on foundational concepts, methods,… Read more

Early spring sale

Nurture your knowledge

Grow your expertise with up to 25% off trusted resources.

Shop now

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.

Key features

  • Demystifies the theory of quantum programming using a step-by-step approach
  • Includes methodologies, techniques, and tools for the development, analysis, and verification of quantum programs and quantum cryptographic protocols
  • Covers the interdisciplinary nature of quantum programming by providing preliminaries from quantum mechanics, mathematics, and computer science, and pointing out its potential applications to quantum engineering and physics
  • Presents a coherent and self-contained treatment that will be valuable for academic and industrial researchers and developers
  • Adds new developments such as parallel and distributed quantum programming; and introduces several new program analysis techniques such as invariants generation and abstract interpretation

Readership

Computer Science researchers, software engineers, programmers, and Quantum software researchers in academia and industry. Graduate students and senior undergraduate students in Computer Science and quantum technology

Table of contents

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

Product details

  • Edition: 2
  • Latest edition
  • Published: May 3, 2024
  • Language: English

About the author

MY

Mingsheng Ying

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).
Affiliations and expertise
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

View book on ScienceDirect

Read Foundations of Quantum Programming on ScienceDirect