Chapter 8: Analysis of quantum programs
Abstract
In this chapter, we present several basic techniques for analysis of quantum programs, including invariant generation, termination analysis, and abstract interpretation. The mathematical tools employed in these techniques are introduced.
Keywords
Transition systems; Invariants; Termination; Ranking function; Quantum graphs; Quantum Markov chains; Reachability; Abstract interpretation; Galois connection
Chapter 7 discussed some basic issues about verification of quantum programs using quantum Hoare logic established in Chapter 6. In this chapter, we turn to algorithmic analysis of the behaviours of quantum programs. This chapter focuses on static analysis of quantum programs – program analysis method ...
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.
