Programming Research Group
Technical Report TR-5-99
Quantum Programming
J W Sanders and
P . Zuliani
November 1999 21pp.
Abstract
In this paper a programming language is
presented for the expression of quantum
algorithms. It contains the features required
to program a `universal' quantum computer
(including initialisation and observation), has a formal semantics and body
of laws, and provides a refinement
calculus supporting the verification and derivation of programs against their specifications. A representative selection of
quantum algorithms are expressed in the language
and one of them is derived from its specification.
This paper is available as a 78,059 byte
gzipped PostScript file.