Logo des Repositoriums
 
Zeitschriftenartikel

Quantenprogrammierung

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2009

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].

Beschreibung

Rüdiger, Roland (2009): Quantenprogrammierung. Informatik-Spektrum: Vol. 32, No. 2. Berlin Heidelberg: Springer-Verlag. PISSN: 1432-122X. pp. 93-101

Schlagwörter

Zitierform

DOI

Tags