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.

References in zbMATH (referenced in 26 articles , 3 standard articles )

Showing results 1 to 20 of 26.
Sorted by year (citations)

1 2 next

  1. Nimbe, Peter; Weyori, Benjamin Asubam; Yeng, Prosper Kandabongee: A framework for quantum-classical cryptographic translation (2021)
  2. Mahmoud, Mohamed Yousri; Felty, Amy P.: Formal meta-level analysis framework for quantum programming languages (2018)
  3. Ying, Shenggang; Ying, Mingsheng: Reachability analysis of quantum Markov decision processes (2018)
  4. Ameen, El-Mahdy M.; Ali, Hesham A.; Salem, Mofreh M.; Badawy, Mahmoud: Towards implementation of a generalized architecture for high-level quantum programming language (2017)
  5. Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo: Towards quantum programs verification: from Quipper circuits to QPMC (2016)
  6. Li, Yangjia; Yu, Nengkun; Ying, Mingsheng: Termination of nondeterministic quantum programs (2014)
  7. Valiron, Benoît: Quantum computation: from a programmer’s perspective (2013)
  8. Hehner, Eric C. R.: A probability perspective (2011)
  9. Gielerak, Roman; Sawerwain, Marek: Generalised quantum weakest preconditions (2010)
  10. Ying, Mingsheng: Quantum computation, quantum theory and AI (2010) ioport
  11. Ying, Mingsheng; Feng, Yuan: Quantum loop programs (2010)
  12. Zuliani, Paolo: Reasoning about faulty quantum programs (2009)
  13. Lampis, Michael; Ginis, Kyriakos G.; Papakyriakou, Michalis A.; Papaspyrou, Nikolaos S.: Quantum data and control made easier (2008)
  14. Xu, Jiafu; Song, Fangmin: Quantum programming languages: a tentative study (2008)
  15. Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng: Proof rules for the correctness of quantum programs (2007)
  16. Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng: Probabilistic bisimulations for quantum processes (2007)
  17. Litvintseva, L. V.; Ul’yanov, I. S.; Ul’yanov, S. V.; Ul’yanov, S. S.: Quantum fuzzy inference for knowledge base design in robust intelligent controllers (2007)
  18. Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso: SOS formats and meta-theory: 20 years after (2007)
  19. Perdrix, Simon: Quantum patterns and types for entanglement and separability (2007)
  20. Ying, Mingsheng; Chen, Jianxin; Feng, Yuan; Duan, Runyao: Commutativity of quantum weakest preconditions (2007)

1 2 next