Zusammenfassung
In den vergangenen Jahren hat es zahlreiche neue Entwicklungen auf dem Gebiet der Quantenprogrammierung und insbesondere der Quantenprogrammiersprachen gegeben. Neben Programmiersprachen im engeren Sinne, deren Zielrichtungen recht verschiedenartig sind, wurden inzwischen auch weitere formale Systeme wie etwa ,,model checker“ entwickelt mit dem An-spruch, die Sicherheit quantenkryptografischer Protokolle zu untersuchen und zu bewerten. Der vorliegende Artikel aktualisiert einen vor einigen Jahren erschienenen Beitrag im Informatik-Spektrum über Quantenprogrammiersprachen [11].
References
Aharonov D, Kitaev A, Nisan N (1998) Quantum circuits with mixed states. In: STOC’98: Proceedings of the 30th annual ACM symposium on Theory of Computing. ACM press, Dallas, TX, pp 20–30
Bruß D, Leuchs G (ed) (2007) Lectures on Quantum Information. Wiley VCH, Weinheim
Gay SJ (2005) Bibliography on quantum programming languages. Erhältlich unter http://www.dcs.gla.ac.uk/∼simon/quantum (Zugriff 22.12.2008)
Gay SJ (2006) Quantum programming languages: Survey and bibliography. Math Struct Comput Sci 16(4):581–600
Hertrampf U (2000) Quantencomputer. Informatik-Spektrum 23(5):322–324, auch im GI-online-Lexikon unter http://www.gi-ev.de/service/informatiklexikon (Zugriff 22.12.2008)
Holevo AS, Werner RF (in Vorbereitung) Introduction to Quantum Information. Springer, Berlin
Homeister M (2008) Quantum Computing verstehen. Grundlagen – Anwendungen – Perspektiven, 2. Aufl. Vieweg, Wiesbaden
Mermin DN (2007) Quantum Computer Science. An Introduction. Cambridge University Press, Cambridge
Mosca M (2008) Quantum algorithms. Erhältlich unter http://arXiv:0808.0369v1 (Zugriff: 22.12.2008)
Nielsen MA, Chuang IL (2000) Quantum Computation and Quantum Information. Cambridge University Press, Cambridge
Rüdiger R (2003) Quantenprogrammiersprachen. Informatik-Spektrum 26(6):406–409, auch im GI-online-Lexikon unter http://www.gi-ev.de/service/informatiklexikon (Zugriff 22.12.2008)
Rüdiger R (2007) Quantum programming languages: An introductory overview. Comput J 50(2):134–150
Selinger P (2004) A brief survey of quantum programming languages. In: Functional and Logic Programming: 7th International Symposium, volume 2998 of LNCS. Springer, Berlin, pp 1–6
Selinger P (ed) (2004) Proceedings of the 2nd International Workshop on Quantum Programming Languages, volume TUCS General Publication No 33, Turku, Finland, July 12–13 2004. Turku Centre for Computer Science
Selinger P (ed) (2005) Proceedings of the 3rd International Workshop on Quantum Programming Languages, Chicago, USA, June 30–July 1 2005. Electronic Notes in Theoretical Computer Science
Selinger P (ed) (2006) Proceedings of the 4th International Workshop on Quantum Programming Languages, Oxford, UK, July 17–19 2006. Electronic Notes in Theoretical Computer Science
Sofge DA (2008) A survey of quantum programming languages: History, methods, and tools. In: Proceedings of the 2nd International Conference on Quantum, Nano, and Micro Technologies (ICQNM 2008). IEEE Computer Society, pp 66–71
Stolze J, Suter D (2004) Quantum Computing. A Short Course from Theory to Experiment. Wiley VCH, Weinheim
Unruh D (2006) Quantum programming languages. Informatik Forsch Entw 21:55–63
Zeilinger A (2008) Die Wirklichkeit der Quanten. Spektrum Wiss 11:54–63
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Rüdiger, R. Quantenprogrammierung. Informatik Spektrum 32, 93–101 (2009). https://doi.org/10.1007/s00287-008-0313-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00287-008-0313-6