Quantum Programs With Classical Output Streams

Authors:
Dominique Unruh
Affiliations:
Institut für Algorithmen und Kognitive Systeme, Universität Karlsruhe, Am Fasanengarten 5, 76131 Karlsruhe, Germany
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 3
Cited 3

Towards a quantum programming language

Mathematical Structures in Computer Science
Quantum Computation and Quantum Information: 10th Anniversary Edition

Quantum Computation and Quantum Information: 10th Anniversary Edition
A lambda calculus for quantum computation with classical control

TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications

The measurement calculus

Journal of the ACM (JACM)
Quantum Arrows in Haskell

Electronic Notes in Theoretical Computer Science (ENTCS)
Measurement-based and universal blind quantum computation

SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show how to model the semantics of quantum programs that give classical output during their execution. That is, in our model even non-terminating programs may have output. The modelling interprets a program as a measurement process on the machines state, with the classical output as measurement result. The semantics presented here are fully abstract in the sense that two programs are equal in semantics if and only if they give the same outputs in any composition.