Foundations of Quantum Programming

Foundations of Quantum Programming by Mingsheng Ying, published by Elsevier Science on May 3, 2024, is a comprehensive resource that explores the principles of quantum programming. This second edition spans 472 pages and provides a systematic exposition of foundational concepts, methods, and techniques applicable to various quantum programming models and languages. The book discusses how existing programming methodologies for classical computers can be adapted for quantum systems, alongside new methodologies designed to leverage the unique capabilities of quantum computing.

Readers will find an in-depth examination of quantum programming models, ranging from sequential to parallel and distributed programming, framed within the paradigms of superposition-of-data and superposition-of-programs. The final sections of the book present logical and mathematical tools essential for the verification and analysis of quantum programs, covering topics such as invariant generation, termination analysis, and abstract interpretation. This edition serves as a valuable resource for those interested in the intersection of computers, information theory, and programming disciplines.