Software science view on quantum circuit algorithms

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.

Authors

• Yuri Gurevich
• Andreas Blass

Keywords

No keywords are indexed for this paper.