Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
423717 | Electronic Notes in Theoretical Computer Science | 2007 | 20 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics