Beyond Separation: Toward a Specification Language for Modular Reasoning about Quantum Programs

Kartik Singhal, Robert Rand, Matthew Amy
September 2022
PDF Cite Poster
Type
Poster
Publication
Programming Languages for Quantum Computing (PLanQC 2022) Poster Session