swMATH ID: 39240
Software Authors: Zuliani, Paolo
Description: qGCL (quantum Guarded-Command Language). Quantum programming. 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.
Homepage: https://pzuliani.github.io/papers/cqp.pdf
Related Software: QPL; Quipper; ScaffCC; GitHub; PyTorch; TensorFlow; Qcompiler; YALLA; HYBRID; Coq; LIQUi; QPMC; PRISM; Haskell; nQML; LETOS; Centaur; Maude; Miranda; LARCH
Cited in: 23 Publications

Citations by Year