Sanders, J. W.; Zuliani, P. 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]. Cited in 1 ReviewCited in 18 Documents MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) Software:qGCL PDFBibTeX XMLCite \textit{J. W. Sanders} and \textit{P. Zuliani}, Lect. Notes Comput. Sci. 1837, 80--99 (2000; Zbl 0963.68037)