Zeitschriftenartikel
Quantenprogrammierung
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Zusatzinformation
Datum
2009
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Springer-Verlag
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].