Software science view on quantum circuit algorithms
Quantum Physics
2023-03-24 v2 Logic in Computer Science
Software Engineering
Mathematical Physics
math.MP
Abstract
We show that, on the abstraction level of quantum circuit diagrams, quantum circuit algorithms belong to the species of interactive sequential algorithms that we studied in earlier work. This observation leads to a natural specification language for quantum circuit algorithms.
Cite
@article{arxiv.2209.13731,
title = {Software science view on quantum circuit algorithms},
author = {Yuri Gurevich and Andreas Blass},
journal= {arXiv preprint arXiv:2209.13731},
year = {2023}
}