# zbMATH — the first resource for mathematics

Quantum programming. (English) Zbl 0963.68037
Backhouse, Roland (ed.) et al., Mathematics of program construction. 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1837, 80-99 (2000).
Summary: In this paper a programming language, $$qGCL$$, 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.
For the entire collection see [Zbl 0941.00030].

##### MSC:
 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
qGCL