Table of Contents:
  • Preface
  • Acknowledgments
  • Part I: Introduction and preliminaries
  • Chapter 1: Introduction
  • Chapter 2: Preliminaries
  • Part II: Quantum programs with classical control
  • Chapter 3: Syntax and semantics of quantum programs
  • Chapter 4: Logic for quantum programs
  • Chapter 5: Analysis of quantum programs
  • Part III: Quantum programs with quantum control
  • Chapter 6: Quantum case statements
  • Chapter 7: Quantum recursion
  • Part IV: Prospects
  • Chapter 8: Prospects.