|
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 renement calculus supporting the verication and derivation of programs against their specications. A representative selection of quantum algorithms are expressed in the language and one of them is derived from its specication. 1, |
