Quantum Programs With Classical Output Streams: (Extended Abstract)

d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany 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 sepresented 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. Key words: Quantum programming languages, denotational semantics, classical output streams.

• Type: Journal
• Year: 2007
• Where: ENTCS
• Authors: Dominique Unruh
• Keywords: Classical Output, ENTCS 2007, Institut F¨ur Algorithmen, Karlsruhe Am Fasanengarten