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 25 articles , 3 standard articles )

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

1 2 next

  1. Mahmoud, Mohamed Yousri; Felty, Amy P.: Formal meta-level analysis framework for quantum programming languages (2018)
  2. Ying, Shenggang; Ying, Mingsheng: Reachability analysis of quantum Markov decision processes (2018)
  3. 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)
  4. Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo: Towards quantum programs verification: from Quipper circuits to QPMC (2016)
  5. Li, Yangjia; Yu, Nengkun; Ying, Mingsheng: Termination of nondeterministic quantum programs (2014)
  6. Valiron, Benoît: Quantum computation: from a programmer’s perspective (2013)
  7. Hehner, Eric C. R.: A probability perspective (2011)
  8. Gielerak, Roman; Sawerwain, Marek: Generalised quantum weakest preconditions (2010)
  9. Ying, Mingsheng: Quantum computation, quantum theory and AI (2010) ioport
  10. Ying, Mingsheng; Feng, Yuan: Quantum loop programs (2010)
  11. Zuliani, Paolo: Reasoning about faulty quantum programs (2009)
  12. Lampis, Michael; Ginis, Kyriakos G.; Papakyriakou, Michalis A.; Papaspyrou, Nikolaos S.: Quantum data and control made easier (2008)
  13. Xu, Jiafu; Song, Fangmin: Quantum programming languages: a tentative study (2008)
  14. Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng: Proof rules for the correctness of quantum programs (2007)
  15. Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng: Probabilistic bisimulations for quantum processes (2007)
  16. 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)
  17. Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso: SOS formats and meta-theory: 20 years after (2007)
  18. Perdrix, Simon: Quantum patterns and types for entanglement and separability (2007)
  19. Ying, Mingsheng; Chen, Jianxin; Feng, Yuan; Duan, Runyao: Commutativity of quantum weakest preconditions (2007)
  20. Zuliani, Paolo: Quantum programming with mixed states (2007)

1 2 next