×

qGCL

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; QML; Quipper; ScaffCC; QPMC; PRISM; Haskell; nQML; Maude; LETOS; Centaur; Miranda; LARCH; LOTOS; QCL; TensorFlow; TensorFlow Quantum; GitHub; PyTorch; Qcompiler
Cited in: 25 Documents

Citations by Year