Rüdiger, Roland2018-01-052018-01-0520092009https://dl.gi.de/handle/20.500.12116/9697In 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].Text/Journal Article1432-122X