Quantenprogrammierung |
| |
Authors: | Roland Rüdiger |
| |
Affiliation: | (1) Fachbereich Informatik, FH Braunschweig/Wolfenbüttel, Salzdahlumer Str. 46/48, 38302 Wolfenbüttel, Deutschland |
| |
Abstract: | 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]. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|