Skip to main content
SpringerLink
Log in

Quantum programming languages

  • Reguläre Beiträge
  • Published:
Informatik - Forschung und Entwicklung

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Arrighi P, Dowek G (2004) Operational semantics for formal tensorial calculus. In: Selinger P (ed) 2nd International Workshop on Quantum Programming Languages, pp 21–38. Online available at http://quasar.mathstat.uottawa.ca/∼selinger/qpl2004/PDFS/03Arrighi-Dowe k.pdf

  2. Bolognesi T, Brinksma E (1987) Introduction to the ISO specification language Lotos. Comput Netw ISDN Syst 14(1):25–59. Online available at http://lotos.site.uottawa.ca/ftp/pub/Lotos/Intro/BB-LotosTutorial.pdf

    Article  Google Scholar 

  3. Bettelli S, Calarco T, Serafini L (2003) Toward an architecture for quantum programming. Eur Phys J D 25:181–200. Online available at http://www.edpsciences.org/articles/epjd/abs/2003/09/d02124/d02124.html

    Article  Google Scholar 

  4. Bettelli SA (2002) Repository for an implementation of the Q language. http://sra.itc.it/people/serafini/qlang/

  5. Ben-Or M, Mayers D (2004) General security definition and composability for quantum & classical protocols. September 2004. Online available at http://xxx.lanl.gov/abs/quant-ph/0409062

  6. Backes M, Pfitzmann B, Waidner M (2004) Secure asynchronous reactive systems. IACR ePrint Archive, March 2004. Online available at http://eprint.iacr.org/2004/082.ps

  7. Baltag A, Smets S (2004) The logic of quantum programs. In: Selinger P (ed) 2nd International Workshop on Quantum Programming Languages, pp 39–56. Online available at http://quasar.mathstat.uottawa.ca/∼selinger/qpl2004/PDFS/04Baltag-Smets.pdf

  8. Cleve R (2000) An introduction to quantum complexity theory. In: Macchiavello C, Palma GM, Zeilinger A (eds) Collected Papers on Quantum Computation and Quantum Information Theory. World Scientific, Singapore, pp 103–127. Online available at http://www.cpsc.ucalgary.ca/∼cleve/pubs/intro_complexity_qph.ps

    Google Scholar 

  9. Dijkstra EW (1976) A Discipline of Programming. Prentice-Hall, Upper Saddle River

    MATH  Google Scholar 

  10. Gay SJ, Nagarajan R (2004) Communicating quantum processes. In: Selinger P (ed) 2nd International Workshop on Quantum Programming Languages, pp 91–107. Online available at http://quasar.mathstat.uottawa.ca/∼selinger/qpl2004/PDFS/07Gay-Nagarajan.pdf

  11. Knill E (1996) Conventions for quantum pseudocode. Technical Report LAUR-96-2724, Los Alamos National Laboratory. Online available at http://www.eskimo.com/∼knill/cv/reprints/knill:qc1996e.ps

  12. Lalire M, Jorrand P (2004) A process algebraic approach to concurrent and distributed quantum computation: operational semantics. In: Selinger P (ed) 2nd International Workshop on Quantum Programming Languages, pp 109–126. Online available at http://quasar.mathstat.uottawa.ca/∼selinger/qpl2004/PDFS/08Lalire-Jorrand.pdf

  13. Milner R (1989) Communication and concurrency. Prentice-Hall, Upper Saddle River

    MATH  Google Scholar 

  14. Morgan C, McIver A (1999) pGCL: formal reasoning for random algorithms. South African Comput J 22:14–27. Online available at http://web.comlab.ox.ac.uk/oucl/research/areas/probs/pGCL.ps.gz

    Google Scholar 

  15. Mateus P, Mitchell J, Scedrov A (2003) Composition of cryptographic protocols in a probabilistic polynomial-time process calculus. In: Amadio R, Lugiez D (eds) Concurrency Theory. Proceedings of CONCUR 2003, Lecture Notes in Computer Science, vol 2761, Springer-Verlag, Berlin, Heidelberg, New York, pp 327–349. Online available at http://wslc.math.ist.utl.pt/ftp/pub/MateusP/03-MMS-seccomp.pdf

  16. Milner R, Parrow J, Walker D (1992) A calculus of mobile processes, i. Inf Comput 100(1):1–40. Online available at http://www.lfcs.inf.ed.ac.uk/reports/89/ECS-LFCS-89-85/index.html

    Article  MATH  MathSciNet  Google Scholar 

  17. Milner R, Parrow J, Walker D (1992) A calculus of mobile processes, ii. Inf Comput 100(1):41–77. Online available at http://www.lfcs.inf.ed.ac.uk/reports/89/ECS-LFCS-89-86/index.html

    Article  MATH  MathSciNet  Google Scholar 

  18. Nielsen M, Chuang I (2000) Quantum Computation and Quantum Information. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  19. Ömer B (2006) QCL – a programming language for quantum computers. http://tph.tuwien.ac.at/∼oemer/qcl.html

  20. Ömer B (2003) Quantum programming in QCL. Master’s thesis, TU Vienna. Online available at http://tph.tuwien.ac.at/∼oemer/doc/quprog.pdf

  21. Ömer B (2003) Structured Quantum Programming. PhD thesis, TU Vienna. Online available at http://tph.tuwien.ac.at/∼oemer/doc/structquprog.pdf

  22. Svore K, Cross A, Aho A, Chuang I, Markov I (2004) Toward a software architecture for quantum computing design tools. In: Peter Selinger (ed) 2nd International Workshop on Quantum Programming Languages, pp 145–162. Online available at http://quasar.mathstat.uottawa.ca/∼selinger/qpl2004/PDFS/10Svore-Cross-Aho-Chuang-Markov.pdf

  23. Selinger P (2004) Towards a quantum programming language. Math Struct Comput Sci 14(4):527–586. Online available at http://quasar.mathstat.uottawa.ca/∼selinger/papers/flops04.ps.gz

    Article  MATH  MathSciNet  Google Scholar 

  24. Shor PW (1994) Algorithms for quantum computation: Discrete logarithms and factoring. In: 35th Annual Symposium on Foundations of Computer Science, Proceedings of FOCS 1994. IEEE Computer Society, Los Alamitos, pp 124–134

  25. Selinger P, Valiron B (2004) A lambda calculus for quantum computation with classical control, November 2004. Preprint, online available at http://quasar.mathstat.uottawa.ca/∼selinger/papers/qlambda.ps.gz

  26. Sanders JW, Zuliani P (2000) Quantum programming. In: MPC ’00: Proceedings of the 5th International Conference on Mathematics of Program Construction, Springer LNCS. Springer-Verlag, Berlin, Heidelberg, New York, pp 80–99. Online available at http://web.comlab.ox.ac.uk/oucl/research/areas/probs/qp.ps.gz

  27. Unruh D (2004) Classical control in quantum programs. In: 5th European QIPC Workshop, Roma, September 2004. Poster, online available at http://iaks-www.ira.uka.de/home/unruh/publications/unruh04classical.html

  28. Unruh D (2005) Quantum programs with classical output streams (extended abstract). In: Selinger P (ed) 3rd International Workshop on Quantum Programming Languages, pp 149–167. Online available at http://www.mathstat.dal.ca/∼selinger/qpl2005/PDFS/10-Unruh.pdf

  29. Unruh D (2004) Simulatable security for quantum protocols. Preprint on quant-ph/0409125, September 2004. Online available at http://arxiv.org/ps/quant-ph/0409125

  30. Valiron B (2004) Quantum typing. In: Selinger P (ed) 2nd International Workshop on Quantum Programming Languages, pp 163–178. Online available at http://quasar.mathstat.uottawa.ca/∼selinger/qpl2004/PDFS/11Valiron.pdf

  31. van Tonder A (2004) A lambda calculus for quantum computation. SIAM J Comput 33(5):1109–1135. Online available at http://epubs.siam.org/sam-bin/dbq/article/43216

    Article  MATH  MathSciNet  Google Scholar 

  32. Wilce A (2003) Quantum logic, probability theory. In: Zalta EN (ed) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, CSLI, Stanford University, Spring 2003. Online available at http://plato.stanford.edu/archives/spr2003/entries/qt-quantlog/

  33. Zuliani P (2004) Non-deterministic quantum programming. In: Selinger P (ed) 2nd International Workshop on Quantum Programming Languages, pp 179–195. Online available at http://quasar.mathstat.uottawa.ca/∼selinger/qpl2004/PDFS/12Zuliani.pdf

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Saarland University, P.O.-Box 15 11 50, 66041, Saarbrücken, Germany

    Dominique Unruh

Authors
  1. Dominique Unruh
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dominique Unruh.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Unruh, D. Quantum programming languages . Informatik Forsch. Entw. 21, 55–63 (2006). https://doi.org/10.1007/s00450-006-0012-y

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00450-006-0012-y

Keywords

Search

Navigation