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; Quipper; ScaffCC; GitHub; PyTorch; TensorFlow; Qcompiler; YALLA; HYBRID; Coq; LIQUi; QPMC; PRISM; Haskell; nQML; LETOS; Centaur; Maude; Miranda; LARCH Cited in: 23 Publications Standard Articles 3 Publications describing the Software, including 3 Publications in zbMATH Year Quantum programming with mixed states. Zbl 1277.68061Zuliani, Paolo 2007 Compiling quantum programs. Zbl 1079.68020Zuliani, Paolo 2005 Quantum programming. Zbl 0963.68037Sanders, J. W.; Zuliani, P. 2000 all top 5 Cited by 39 Authors 6 Ying, Mingsheng 6 Zuliani, Paolo 4 Feng, Yuan 3 Duan, Runyao 2 Ji, Zhengfeng 1 Ali, Hesham A. 1 Ameen, El-Mahdy M. 1 Anticoli, Linda 1 Badawy, Mahmoud 1 Chen, Jianxin 1 Felty, Amy P. 1 Gielerak, Roman 1 Ginis, Kyriakos G. 1 Groote, Jan Friso 1 Hehner, Eric C. R. 1 Lampis, Michael 1 Li, Yangjia 1 Litvintseva, L. V. 1 Mahmoud, Mohamed Yousri 1 Mousavi, Mohammadreza 1 Nimbe, Peter 1 Papakyriakou, Michalis A. 1 Papaspyrou, Nikolaos S. 1 Perdrix, Simon 1 Piazza, Carla 1 Reniers, Michel Adriaan 1 Salem, Mofreh M. 1 Sawerwain, Marek 1 Song, Fangmin 1 Taglialegne, Leonardo 1 Ul’yanov, I. S. 1 Ul’yanov, S. S. 1 Ulyanov, Sergey V. 1 Valiron, Benoît 1 Weyori, Benjamin Asubam 1 Xu, Jiafu 1 Yeng, Prosper Kandabongee 1 Ying, Shenggang 1 Yu, Nengkun all top 5 Cited in 10 Serials 4 Acta Informatica 2 International Journal of Theoretical Physics 2 Theoretical Computer Science 2 Information and Computation 1 Information Processing Letters 1 New Generation Computing 1 Formal Aspects of Computing 1 Journal of Computer and Systems Sciences International 1 Quantum Information Processing 1 Science in China. Series F all top 5 Cited in 9 Fields 20 Computer science (68-XX) 17 Quantum theory (81-XX) 2 Information and communication theory, circuits (94-XX) 1 Mathematical logic and foundations (03-XX) 1 Measure and integration (28-XX) 1 Functional analysis (46-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Citations by Year