Foundations of Quantum Programming

Foundations of Quantum Programming, 2nd Edition provides a systematic exposition of foundational concepts, methods, and techniques in quantum programming. Author Mingsheng Ying details how classical programming methodologies extend to quantum computing environments while establishing paradigms specific to quantum software design. The text explores structural paradigms including superposition-of-data and superposition-of-programs to organize quantum code development.

The book structures its core formalisms around sequential quantum programming models and language design. It examines quantum while-programs alongside quantum Hoare logic to support formal reasoning about quantum system states and execution. Additional coverage addresses specialized control flows, incorporating quantum case statements, QuGCL, and quantum recursion mechanisms for complex algorithm construction.

To address expanding modern research areas, this second edition incorporates dedicated material on quantum machine learning together with parameterized and differential quantum programming. The volume provides rigorous analytical support for senior undergraduate students, graduate students, software engineers, and programmers working across computer science and quantum technology disciplines.