Quantum programming languages: An introductory overview

Computer Journal

Volumn 50, Issue 2, 2007, Pages 134-150

  Rüdiger, Roland ^a  

^a UNIVERSITY OF APPLIED SCIENCES   (Germany)

Author keywords

Quantum algorithms; Quantum computation; Quantum information; Quantum programming languages

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; QUANTUM COMPUTERS; QUANTUM THEORY;

QUANTUM ALGORITHMS; QUANTUM INFORMATION; QUANTUM PROGRAMMING LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33947205208     PISSN: 00104620     EISSN: 14602067     Source Type: Journal    
DOI: 10.1093/comjnl/bxl057     Document Type: Review

References (86)

1. Nielsen, M. and Chuang, I. L. (2000) Quantum Computation and Quantum Information. Cambridge University Press, Cambridge.
2. Alber, G., Beth, T., Horodecki, M., Horodecki, P., Horodecki, R., Rötteler, M., Weinfurter, H., Werner, R. and Zeilinger, A. (2001) Quantum Information: An Introduction to Basic Theoretical Concepts and Experiments. Springer-Verlag, Berlin, Germany.
3. Shor, P. (1994) Algorithms for quantum computation: Discrete logarithms and factoring. In Goldwasser, S. (ed.) Proc. 35th Annual Symposium on the Foundations of Computer Science, Los Alamitos, CA, November, pp. 124-134. IEEE Computer Society Press.
4. Shor, P. (1997) Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM J. Comput., 26, 1484-1509.
5. Rivest, R. L., Shamir, A. and Adleman, L.M. (1978) A method for obtaining digital signatures and publickey cryptosystems. Commun. ACM, 21, 120-126.
6. ElGamal, T. (1985) A public key cryptosystem and a signature scheme based on discrete logarithms. IEEE Trans. Inform. Theory, 31, 469-472.
7. Smalley, E. Programming goes quantum. Available at http://www.trnmag.com/Stories/032801/ Programming_goes_quantum_032801.html
8. Rüdiger, R. (2003). Quantum programming languages - a survey. Available at http://public.fhwolfenbuettel.de/~ruediger/.
9. Rüdiger, R. (2003) Quantenprogrammiersprachen. Informatik-Spektrum, 26, 406-409.
10. Selinger, P. (2004) A brief survey of quantum programming languages. Functional and Logic Programming: 7th International Symposium, Berlin, Germany, April, LNCS, 2998, pp. 1-6. Springer.
11. Gay, S. (2005). Bibliography on quantum programming languages. Available at http://www.dcs.gla.ac.uk/~simon/quantum/.
12. Gruska, J. (1999) Quantum Computing. McGraw-Hill, London.
13. Hirvensalo, M. (2001) Quantum Computing. Springer-Verlag, Berlin, Heidelberg, Germany.
14. Preskill, J. (1998) Physics 229: Advanced mathematical methods of physics - quantum computation and information. Technical report. California Institute of Technology, Pasadena, California.
15. Ekert, A., Hayden, P. and Inamori, H. (2000) Basic concepts in quantum computation. Technical report. Centre for Quantum Computation, University of Oxford, Oxford, UK.
16. Mermin, D. (2006). Lecture notes on quantum computation. Available at http://people.ccmr.cornell.edu/~mermin/qcomp/CS483.html.
17. Introductions and Tutorials. Available at http://www.qubit.org/index.html. website of the Centre for Quantum Computation, Oxford, UK.
18. Selinger, P. (2004) Towards a quantum programming language. Math. Struct. Comp. Sci., 14, 527-586.
19. Werner, R. (1989) Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model. Phys. Rev, A40, 4277-4281.
20. Mermin, D. (1985) Is the moon there when nobody looks? Reality and the quantum theory. Phys. Today, 38, 38-47.
21. Keyl, M. (2002) Fundamentals of quantum information theory. Phys. Rep., 369, 431-548.
22. Vartiainen, J., Mottonen, M. and Salomaa, M. (2004) Efficient decomposition of quantum gates. Phys. Rev. Lett., 92, 177902.
23. Cormen, T., Leiserson, C., Rivest, R. and Stein, C. (2001) Introduction to Algorithms. MIT Press, Cambridge, Massachusetts, London, England.
24. Aharonov, D., Kitaev, A. and Nisan, N. (1998) Quantum circuits with mixed states. STOC'98: Proc. 30th Annual ACM Symp. on Theory of Computing, Dalla, TX, May, pp. 20-30. ACM press.
25. Werner, R. (2005) Einstein and the foundations of quantum mechanics. Unpublished.
26. Aharonov, Y. and Rohrlich, D. (2005) Quantum Paradoxes. Quantum Theory for the Perplexed. Wiley-VCH, Weinheim, Germany.
27. Bolognesi, T. and Brinksma, E. (1987) Introduction to the ISO specification language LOTOS. Comp. Networks ISDN Syst., 14, 22-59.
28. Born, M. (ed.) (1971) The Einstein-Born letters (1916-1955). MacMillan, London.
29. Bell, J. (1964) On the Einstein-Podolsky-Rosen paradox. Physics, 1, 195-200.
30. Aspect, A., Grangier, P. and Roger, G. (1981) Experimental tests of realistic local theories via Bell's theorem. Phys. Rev. Lett., 47, 460-463.
31. Tittel, W., Brendel, J., Zbinden, H. and Gisin, N. (1998) Violation of Bell inequalities by photons more than 10 km apart. Phys. Rev. Lett., 81, 3563.
32. Sebesta, R. (1999) Concepts of Programming Languages. Addison-Wesley, Reading, Massachusetts.
33. Wirth, N. (2000) The development of procedural programming languages: personal contributions and perspectives. In Gutknecht, J. and Week, W. (eds.) Modular Programming Languages. Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, pp. 1-10. Springer, Berlin, Heidelberg, New York.
34. Bettelli, S., Calarco, T. and Serafini, L. (2003) Toward an architecture for quantum programming. Eur. Phys. J., D25, 181-200.
35. Knill, E. (1996). Conventions for quantum pseudocode. Available at http://www.c3.lanl.gov/~knill.
36. Altenkirch, T. and Grattage, J. (2004). A functional quantum programming language. Available at http://arXiv.org/abs/quant-ph/0409065.
37. Shepherd, D., Franz, T. and Werner, R. (2005). A universally programmable quantum cellular automaton. Available at http://xxx.lanl.gov/abs/quantph/0512058.
38. Schumacher, B. and Werner, R. (2004). Reversible quantum cellular automata. Available at http://xxx.lanl.gov/abs/quant-ph/0405174. To appear in New Journal of Physics.
39. Mauerer, W. (2005) Semantics and simulation of communication in quantum programming. Master's thesis. University Erlangen-Nuremberg Erlangen, Nürnberg.
40. Ömer, B. (2004) QCL. Contribution to: Turing Days'04: Classical and Quantum Computing.
41. Vandersypen, L., Steffen, M., Breyta, G., Yannoni, C., Sherwood, M. and Chuang, I. (2001) Experimental realization of Shor's quantum factoring algorithm using nuclear magnetic resonance. Nature, 414, 883-887.
42. Wirth, N. and Gutknecht, J. (1992) Project Oberon. The Design of an Operating System and Compiler. Addison-Wesley, Reading, Massachusetts.
43. Svore, K., Cross, A., Aho, A., Chuang, I. and Markov, I. (2004) Toward a software architecture for quantum computing design tools. In Selinger, P. (ed.) Proc. 2nd Int. Workshop on Quantum Programming Languages, Turku, Finland, July 12-13, pp. 145-162. Turku Centre for Computer Science.
44. Coecke, B. (2004) Quantum information-flow, concretely, abstractly. In Selinger, P. (ed.) Proc. 2nd Int. Workshop on Quantum Programming Languages, Turku, Finland, July 12-13, pp. 57-73. Turku Centre for Computer Science.
45. Coecke, B. (2005) De-linearizing linearity: Projective quantum axiomatics from strong compact closure. In Selinger, P. (ed.) Proc. 3rd Int. Workshop on Quantum Programming Languages, Chicago, USA, June 30 to July 1, pp. 43-63. Electronic Notes in Theoretical Computer Science.
46. van Tonder, A. (2003). Quantum computation, categorical semantics and linear logic. Available at arXiv:qUant-ph/0312174.
47. van Tonder, A. (2004) A lambda calculus for quantum computation. SIAM J. Comput., 33, 1109-1135.
48. Sanders, J. and Zuliani, P. (2000) Quantum programming. Mathematics of Program Construction, LNCS, 1837, pp. 80-99. Springer-Verlag, Berlin, Heidelberg, New York.
49. Sabry, A. (2003) Modeling quantum computing in Haskell. Proc. ACM SIGPLAN Workshop on Haskell, Uppsala, Sweden, August, pp. 39-49. ACM Press.
50. Selinger, P. (ed.) (2004) Proc. 2nd Int. Workshop on Quantum Programming Languages, Turku, Finland, July 12-13. Turku Centre for Computer Science.
51. Selinger, P. (ed.) (2005) Proc. 3rd Int. Workshop on Quantum Programming Languages, Chicago, USA, June 30 to July 1. Electronic Notes in Theoretical Computer Science.
52. Selinger, P. (ed.) (2006) Proc. 4th Int. Workshop on Quantum Programming Languages, Oxford, UK, July 17-19. Electronic Notes in Theoretical Computer Science.
53. Nagarajan, R., Papanikolaou, N. and Williams, D. (2005) Simulating and compiling code for the Sequential quantum random access machine. In Selinger, P. (ed.) Proc. 3rd Int. Workshop on Quantum Programming Languages, Chicago, USA, June 30 to July 1, pp. 91-112. Electronic Notes in Theoretical Computer Science.
54. Benioff, P. (1980) The computer as a physical system: A microscopic quantum mechanical hamiltonian model of computers as represented by Turing machines. J. Stat. Phys., 22, 563-591.
55. Deutsch, D. (1985) Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. Roy. Soc. Lond. A, 400, 97.
56. Raussendorf, R. and Briegel, H. (2000) Quantum computing via measurements only. Phys. Rev. Lett., 86, 5188.
57. Nielsen, M. (2003) Universal quantum computation using only projective measurement, quantum memory, and preparation of the 0 state. Phys. Lett. A., 308, 96-100.
58. Seutter, F. (1985) CEPROL: A cellular programming language. Parallel Comput., 2, 327-333.
59. Hasselbring, W. (1990) CELIP: A cellular language for image processing. Parallel Comput., 14, 99-109.
60. Hochberger, C. (1998) CDL - Eine Sprache für die Zellularverarbeitung auf verschiedenen Zielplattformen. PhD thesis. TU Darmstadt, Germany.
61. Weimar, J. (1998) Simulation with Cellular Automata. Logos Verlag, Berlin.
62. Ömer, B. (1998) A procedural formalism for quantum computing. Master's thesis. TU Wien.
63. Ömer, B. (2000) Quantum programming in QCL. Master's thesis. TU Wien.
64. Ömer, B. (2002). Classical concepts in quantum programming. Available at http://arXiv.org/abs/quantph/0211100.
65. Girard, J. (1987) Linear logic. Theor. Comp. Sci., 50, 1-102.
66. Barr, M. and Wells, C. (1999) Category Theory for Computing Science, 3rd edition. Les publications Centre de recherches mathématiques, Montŕeal (Qúebec), Canada.
67. Braüner, T. (1996) Introduction to linear logic. BRICS Lecture Series, LS-96, 6. Department of Computer Science, University of Aarhus, Aarhus, Denmark
68. Abramsky, S. and Duncan, R. (2004) A categorical quantum logic. In Selinger, P. (ed.) Proc. 2nd Int. Workshop on Quantum Programming Languages, Turku, Finland, July 12-13, pp. 3-20. Turku Centre for Computer Science.
69. Penrose, R. (1989) The Emperor's New Mind. Oxford University Press, Oxford.
70. Abramsky, S. and Coecke, B. (2004) A categorical semantics of quantum protocols. Technical report PRG-RR-04-02. Oxford University Computing Laboratory, Oxford.
71. Gay, S. and Nagarajan, R. (2004) Communication quantum processes. In Selinger, P. (ed.) Proc. 2nd Int. Workshop on Quantum Programming Languages, Turku, Finland, July 12-13, pp. 91-107. Turku Centre for Computer Science.
72. Adão, P. and Mateus, P. (2005) A process algebra for reasoning about quantum security. In Selinger, P. (ed.) Proc. 3rd Int. Workshop on Quantum Programming Languages, Chicago, USA, June 30 to July 1, pp. 3-20. Electronic Notes in Theoretical Computer Science.
73. Arrighi, P. and Dowek, G. (2004) Operational semantics for formal tensorial calculus. In Selinger, P. (ed.) Proc. 2nd Int. Workshop on Quantum Programming Languages, Turku, Finland, July 12-13, pp. 21-38. Turku Centre for Computer Science.
74. Selinger, P. (2004) Towards a semantics for higher order quantum computation. In Selinger, P. (ed.) Proc. 2nd Int. Workshop on Quantum Programming Languages, Turku, Finland, July 12-13, pp. 127-143. Turku Centre for Computer Science.
75. Selinger, P. and Valiron, B. (2005) A lambda calculus for quantum computation with classical control. Proc. 7th Int. Con. on Typed Lambda Calculi and Applications (TLCA'05), Nara, Japan, April, LNCS, 3461, pp. 354-368. Springer.
76. Zuliani, P. (2001) Formal reasoning for quantum mechanical nonlocality. Technical report. Univ. of Oxford, Oxford.
77. Zuliani, P. (2001) Quantum programming. PhD thesis. University of Oxford.
78. Zuliani, P. (2004) Non-deterministic quantum programming. In Selinger, P. (ed.) Proc. 2nd Int. Workshop on Quantum Programming Languages, Turku, Finland, July 12-13, pp. 179-195. Turku Centre for Computer Science.
79. Grattage, J. and Altenkirch, T. (2005) A compiler for a functional quantum programming language. Submitted for publication.
80. Valiron, B. (2004) Quantum typing. In Selinger, P. (ed.) Proc. 2nd Int. Workshop on Quantum Programming Languages, Turku, Finland, July 12-13, pp. 165-178. Turku Centre for Computer Science.
81. Mu, S. and Bird, R. (2001) Functional quantum programming. The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Daejeon, Korea, December, pp. 75-88. Korea Advanced Institute of Science and Technology.
82. Vizzotto, J., Altenkirch, T. and Sabry, A. (2005). Structuring quantum effects: Superoperators as arrows. Available at http://arXiv.org/abs/quant-ph/0501151.
83. Hughes, J. (2000) Generalising monads to arrows. Sci. Comp. Program., 37, pp. 67-111.
84. Moggi, E. (1991) Notions of computation and monads. Inform. Comput., 93, pp. 55-92.
85. Wadler, P. (1992) The essence of functional programming. Proc. 19th ACM Symp. Principles of Programming Languages, Albuquerque, N.M., January, pp. 1-14. ACM Press.
86. Altenkirch, T., Grattage, J., Vizzotto, J. and Sabry, A. (2005) An algebra of pure quantum programming. In Selinger, P. (ed.) Proc. 3rd Int. Workshop on Quantum Programming Languages, Chicago, USA, June 30 to July 1, pp. 21-41. Electronic Notes in Theoretical Computer Science.