Skip to main content
SpringerLink
Log in

Methods and Patterns for User-Friendly Quantum Programming

  • Conference paper
  • First Online:
Book cover GeNeDis 2016

Part of the book series: Advances in Experimental Medicine and Biology ((AEMB,volume 989))

  • 1463 Accesses

Abstract

The power and efficiency of particular quantum algorithms over classical ones has been proved. The rise of quantum computing and algorithms has highlighted the need for appropriate programming means and tools. Here, we present a brief overview of some techniques and a proposed methodology in writing quantum programs and designing languages. Our approach offers “user-friendly” features to ease the development of such programs. We also give indicative snippets in an untyped fragment of the Qumin language, describing well-known quantum algorithms.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Grover, L.K. 1997. Quantum mechanics helps in searching for a needle in a haystack. Physical Review Letters 79(2):325.

    Article  CAS  Google Scholar 

  2. Shor, P.W. 1994. Algorithms for quantum computation: discrete logarithms and factoring. In Proceedings of the 35th Annual Symposium on Foundations of Computer Science, 1994, 124–134. Los Alamitos: IEEE.

    Chapter  Google Scholar 

  3. D-Wave Systems, S. 2016. D-wave 2x. http://www.dwavesys.com/. [D-Wave 2X]

  4. Altenkirch, T., and J. Grattage. 2005. A functional quantum programming language. In Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on, 2005, 249–258. Chicago, IL, USA: IEEE.

    Google Scholar 

  5. Altenkirch, T., J. Grattage, J.K. Vizzotto, and A. Sabry. 2007. An algebra of pure quantum programming. Electronic Notes in Theoretical Computer Science 170:23–47.

    Article  Google Scholar 

  6. Green, A.S., P.L. Lumsdaine, N.J. Ross, P. Selinger, and B. Valiron. 2013. Quipper: a scalable quantum programming language. In ACM SIGPLAN Notices, vol. 48, 333–342. New York: ACM.

    Google Scholar 

  7. Selinger, P., B. Valiron, et al. 2009. Quantum lambda calculus. In Semantic Techniques in Quantum Computation, 135–172. Cambridge: Cambridge University Press.

    Chapter  Google Scholar 

  8. Van Tonder, A. 2004. A lambda calculus for quantum computation. SIAM Journal on Computing 33(5):1109–1135.

    Article  Google Scholar 

  9. Blaha, S. 2002. Quantum computers and quantum computer languages: quantum assembly language and quantum c language. arXiv preprint quant-ph/0201082

    Google Scholar 

  10. Desmet, B., E. D’Hondt, P. Costanza, and T. D’Hondt. 2006. Simulation of quantum computations in lisp. In 3rd European Lisp Workshop, Co-Located with ECOOP.

    Google Scholar 

  11. Selinger, P. 2004. Towards a quantum programming language. Mathematical Structures in Computer Science 14(04):527–586.

    Article  Google Scholar 

  12. Ömer, B. 1998. A procedural formalism for quantum computing. Tech. rep., Department of Theoretical Physics, Technical University of Vienna.

    Google Scholar 

  13. QUIT Group, I.U. 2016. Qumin language project. https://github.com/wintershammer/QImp/. [Github repositiory, accessed 6/10/2016].

  14. Nielsen, M.A., and I.L. Chuang. 2010. Quantum Computation and Quantum Information. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  15. Ömer, B. 2005. Classical concepts in quantum programming. International Journal of Theoretical Physics 44(7):943–955.

    Article  Google Scholar 

  16. Mlnarik, H. 2007. Operational semantics and type soundness of quantum programming language lanQ. arXiv preprint arXiv:0708.0890.

    Google Scholar 

  17. Sanders, J.W., and P. Zuliani. 2000. Quantum programming. In Mathematics of Program Construction, 80–99. Berlin: Springer.

    Chapter  Google Scholar 

  18. Moore, C., and J.P. Crutchfield. 2000. Quantum automata and quantum grammars. Theoretical Computer Science 237(1):275–306.

    Article  Google Scholar 

  19. Giannakis, K., C. Papalitsas, and T. Andronikos. 2015. Quantum automata for infinite periodic words. In 6th International Conference on Information, Intelligence, Systems and Applications (IISA), 2015, 1–6. Piscataway, NJ: IEEE.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, Ionian University, Corfu, Greece

    Alexandros Singh, Konstantinos Giannakis, Kalliopi Kastampolidou & Christos Papalitsas

Authors
  1. Alexandros Singh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Konstantinos Giannakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kalliopi Kastampolidou
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Christos Papalitsas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexandros Singh .

Editor information

Editors and Affiliations

  1. Department of Informatics, Bioinformatics and Human Electrophysiology Laboratory, Ionian University, Corfu, Greece

    Panayiotis Vlamos

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Singh, A., Giannakis, K., Kastampolidou, K., Papalitsas, C. (2017). Methods and Patterns for User-Friendly Quantum Programming. In: Vlamos, P. (eds) GeNeDis 2016 . Advances in Experimental Medicine and Biology, vol 989. Springer, Cham. https://doi.org/10.1007/978-3-319-57348-9_17

Download citation

Publish with us

Policies and ethics

Search

Navigation