Chapter 5: Quantum while-programs
Abstract
In this chapter, we introduce one of the simplest quantum programming languages, namely quantum while-language, as an quantum extension of the classical while-language. Its syntax and semantics are formally defined. Examples are provided to show how some quantum algorithms can be properly programmed in it. At the end of the chapter, we further extend quantum while-language to include recursion (with classical controls).
Keywords
Quantum while-language; Quantum variables; Classical variables; Syntax; Operational semantics; Denotational semantics; Loops; Recursion
In Chapter 4, several quantum algorithms were presented at the very low-level model of quantum computing – quantum circuits. How can we design and ...
Get Foundations of Quantum Programming, 2nd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
