Skip to main content
SpringerLink
Log in

Foundations of Quantum Programming (Extended Abstract)

  • Conference paper
Programming Languages and Systems (APLAS 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6461))

Included in the following conference series:

Abstract

Progress in the techniques of quantum devices has made people widely believe that large-scale and functional quantum computers will be eventually built. By then, super-powered quantum computer will solve many problems affecting economic and social life that cannot be addressed by classical computing. However, our experiences with classical computing suggest that once quantum computers become available in the future, quantum software will play a key role in exploiting their power, and quantum software market will even be much larger than quantum hardware market. Unfortunately, today’s software development techniques are not suited to quantum computers due to the essential differences between the nature of the classical world and that of the quantum world. To lay a solid foundation for tomorrow’s quantum software industry, it is critically essential to pursue systematic research into quantum programming methodology and techniques.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 249–258 (2005)

    Google Scholar 

  2. Baltag, A., Smets, S.: LQP: the dynamic logic of quantum information. Mathematical Structures in Computer Science 16, 491–525 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  3. Brunet, O., Jorrand, P.: Dynamic quantum logic for quantum programs. International Journal of Quantum Information 2, 45–54 (2004)

    Article  MATH  Google Scholar 

  4. Chadha, R., Mateus, P., Sernadas, A.: Reasoning about imperative quantum programs. Electronic Notes in Theoretical Computer Science 158, 19–39 (2006)

    Article  MATH  Google Scholar 

  5. D’Hondt, E., Panangaden, P.: Quantum weakest preconditions. Mathematical Structures in Computer Science 16, 429–451 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  6. Feng, Y., Duan, R.Y., Ji, Z.F., Ying, M.S.: Proof rules for the correctness of quantum programs. Theoretical Computer Science 386, 151–166 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  7. Feng, Y., Duan, R.Y., Ji, Z.F., Ying, M.S.: Probabilistic bisimulations for quantum processes. Information and Computation 205, 1608–1639 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  8. Gay, S.J.: Quantum programming languages: survey and bibliography. Mathematical Structures in Computer Science 16, 581–600 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  9. Gay, S.J., Nagarajan, R.: Communicating quantum processes. In: Proceedings of the 32nd ACM Symposium on Principles of Programming Languages, Long Beach, California, USA, pp. 145–157. ACM Press, New York (2005)

    Google Scholar 

  10. Jorrand, P., Lalire, M.: Toward a quantum process algebra. In: Proceedings of the 1st ACM Conference on Computing Frontiers, Ischia, Italy, pp. 111–119. ACM Press, New York (2005)

    Google Scholar 

  11. Knill, E.H.: Conventions for quantum pseudocode, Technical Report LAUR-96-2724, Los Alamos National Laboratory (1996)

    Google Scholar 

  12. Nagarajan, R., Papanikolaou, N., Williams, D.: Simulating and compiling code for the sequential quantum random access machine. Electronic Notes in Theoretical Computer Science 170, 101–124 (2007)

    Article  MATH  Google Scholar 

  13. Ömer, B.: Structural quantum programming, Ph.D. Thesis. Technical University of Vienna (2003)

    Google Scholar 

  14. Sanders, J.W., Zuliani, P.: Quantum programming. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol. 1837, pp. 88–99. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  16. Selinger, P.: A brief survey of quantum programming languages. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 1–6. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  17. Svore, K.M., Aho, A.V., Cross, A.W., Chuang, I.L., Markov, I.L.: A layered software architecture for quantum computing design tools. IEEE Computer 39, 74–83 (2006)

    Article  Google Scholar 

  18. Ying, M.S.: Hoare logic for quantum programs, http://xxx.lanl.gov/abs/0906.4586

  19. Ying, M.S., Chen, J.X., Feng, Y., Duan, R.Y.: Commutativity of quantum weakest preconditions. Information Processing Letters 104, 152–158 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  20. Ying, M.S., Duan, R.Y., Feng, Y., Ji, Z.F.: Predicate transformer semantics of quantum programs. In: Mackie, I., Gay, S. (eds.) Semantic Techniques in Quantum Computation, pp. 311–360. Cambridge University Press, Cambridge (2010)

    Google Scholar 

  21. Ying, M.S., Feng, Y.: An algebraic language for distributed quantum computing. IEEE Transactions on Computers 58, 728–743 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  22. Ying, M.S., Feng, Y.: Quantum loop programs. Acta Informatica 47, 221–250 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  23. Ying, M.S., Feng, Y.: A flowchart language for quantum programming. (submitted)

    Google Scholar 

  24. Ying, M.S., Feng, Y., Duan, R.Y., Ji, Z.F.: An algebra of quantum processes. ACM Transactions on Computational Logic 10, 19 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  25. Zuliani, P.: Compiling quantum programs. Acta Informatica 41, 435–473 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  26. Zuliani, P.: Reasoning about faulty quantum programs. Acta Informatica 46, 403–432 (2009)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Center for Quantum Computation and Intelligent Systems, University of Technology, Sydney, Australia

    Mingsheng Ying

  2. State Key Laboratory of Intelligent Technology and Systems, Tsinghua University, Beijing, China

    Mingsheng Ying

Authors
  1. Mingsheng Ying
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Computer Science and Engineering, Waseda University, 3-4-1, Okubo, Shinjuku-ku, 169-8555, Tokyo, Japan

    Kazunori Ueda

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ying, M. (2010). Foundations of Quantum Programming (Extended Abstract). In: Ueda, K. (eds) Programming Languages and Systems. APLAS 2010. Lecture Notes in Computer Science, vol 6461. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17164-2_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-17164-2_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-17163-5

  • Online ISBN: 978-3-642-17164-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation