publication . Preprint . 2012

Defining Quantum Control Flow

Ying, Mingsheng; Yu, Nengkun; Feng, Yuan;
Open Access English
  • Published: 19 Sep 2012
Abstract
A remarkable difference between quantum and classical programs is that the control flow of the former can be either classical or quantum. One of the key issues in the theory of quantum programming languages is defining and understanding quantum control flow. A functional language with quantum control flow was defined by Altenkirch and Grattage [\textit{Proc. LICS'05}, pp. 249-258]. This paper extends their work, and we introduce a general quantum control structure by defining three new quantum program constructs, namely quantum guarded command, quantum choice and quantum recursion. We clarify the relation between quantum choices and probabilistic choices. An int...
Subjects
arXiv: Computer Science::Programming Languages
free text keywords: Quantum Physics, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.3.1, F.3.1, F.3.2
Related Organizations
Download from
16 references, page 1 of 2

[1] D. Aharonov, A. Ambainis, J. Kempe and U. Vazirani, Quantum walks on graphs, Proceedings of the 33rd ACM Symposium on Theory of Computing (STOC), 2001, pp. 50-59.

[3] T. Altenkirch, J. Grattage, J. K. Vizzotto and A. Sabry, An algebra of pure quantum programming, Electronic Notes in Theoretical Computer Science, 170(2007)23-47.

[4] A. Ambainis, E. Bach, A. Nayak, A. Vishwanath and J. Watrous, One-dimensional quantum walks, Proceedings of the 33rd ACM Symposium on Theory of Computing (STOC), 2001, pp. 37-49.

[5] E. D'Hondt and P. Panangaden, Quantum weakest preconditions, Mathematical Structures in Computer Science, 16(2006)429-451.

[6] E. W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, 18(1975)453-457. [OpenAIRE]

[7] S. Gay, Quantum programming languages: survey and bibliography, Mathematical Structures in Computer Science, 16(2006)581-600.

[8] E. H. Knill, Conventions for quantum pseudocode, Technical Report LAUR-96-2724, Los Alamos National Laboratory, 1996.

[9] M. Lampis, K. G. Ginis, M. A. Papakyriakou and N. S. Papaspyrou, Quantum data and control made easier, Electronic Notes in Theoretical Computer Science, 210(2008)85- 105. [OpenAIRE]

[10] A. McIver and C. Morgan, Abstraction, Refinement and Proof for Probabilistic Systems, Springer, New York, 2005.

[11] M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, Cambridge (2000)

[12] B. O¨ mer, Structural quantum programming, Ph.D. Thesis, Technical University of Vienna, 2003.

[13] J. W. Sanders and P. Zuliani, Quantum programming, Proceedings of Mathematics of Program Construction 2000, LNCS 1837, Springer-Verlag, pp. 88-99.

[14] P. Selinger, Towards a quantum programming language, Mathematical Structures in Computer Science, 14(2004)527-586. [OpenAIRE]

[15] V. V. Shende, S. S. Bullock and I. L. Markov, Synthesis of quantum-logic circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 25(2006)1000-1010. [OpenAIRE]

[16] P. Xue and B. C. Sanders, Two quantum walkers sharing coins, Physical Review A, 85(2012) art. no. 022307.

16 references, page 1 of 2
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue