Foundations of Quantum Programming
by: Mingsheng Ying (Author)
Publisher:
Edition: 2nd
Publication Date: 2024/5/17
Language: English
Print Length: 472 pages
ISBN-10: 0443159424
ISBN-13: 9780443159428
Book 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.Demystifies the theory of quantum programming using a step-by-step approachIncludes methodologies, techniques, and tools for the development, analysis, and verification of quantum programs and quantum cryptographic protocolsCovers 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 physicsPresents a coherent and self-contained treatment that will be valuable for academic and industrial researchers and developersAdds new developments such as parallel and distributed quantum programming; and introduces several new program analysis techniques such as invariants generation and abstract interpretation
About the Author
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.Demystifies the theory of quantum programming using a step-by-step approachIncludes methodologies, techniques, and tools for the development, analysis, and verification of quantum programs and quantum cryptographic protocolsCovers 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 physicsPresents a coherent and self-contained treatment that will be valuable for academic and industrial researchers and developersAdds new developments such as parallel and distributed quantum programming; and introduces several new program analysis techniques such as invariants generation and abstract interpretation Read more
未经允许不得转载：电子书百科大全 » Foundations of Quantum Programming