# Defining Quantum Control Flow

- Published: 19 Sep 2012

- University of Technology Russian Federation

- 1
- 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.

- 1
- 2