Foundations of Quantum Programming

__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

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

Content: Front Matter,Copyright,Preface,AcknowledgmentsEntitled to full textPart I: Introduction and PreliminariesChapter 1 - Introduction, Pages 3-9 Chapter 2 - Preliminaries, Pages 11-58 Chapter 3 - Syntax and semantics of quantum programs, Pages 61-102 Chapter 4 - Logic for quantum programs, Pages 103-148 Chapter 5 - Analysis of quantum programs, Pages 149-207 Chapter 6 - Quantum case statements, Pages 211-271 Chapter 7 - Quantum recursion, Pages 273-324 Chapter 8 - Prospects, Pages 327-336 Bibliography, Pages 337-349 Index, Pages 351-357