Practical Modern Quantum Programming

In this thesis we present a compiler for Cavy, an imperative quantum programming language. The main contribution of the Cavy system is the application of region inference to the problem of safe and efficient ancilla qubit allocation, use, and deallocation in a programming language with a reversible...

Full description

Bibliographic Details
Main Author: McNally, Christopher Michael
Other Authors: Oliver, William D.
Format: Thesis
Published: Massachusetts Institute of Technology 2022
Online Access:https://hdl.handle.net/1721.1/140068