17.11.2025
Informatik-Kolloquium
Auf Einladung von Prof. Dr. Dietmar Seipel findet der folgende Vortrag statt:
Montag, 17. November 2025, 16:15 Uhr, Übungsraum I, Informatikgebäude, Am Hubland
Prof. Dr. Michael Hanus
Christian-Albrechts-Universität zu Kiel
Deklarative Programmierung: Effiziente und zuverlässige Programmierung mit menschlicher Intelligenz
Abstract
Auf Grund der heutzutage überall vorhandenen softwarebasierten Systeme ist deren zuverlässige Programmierung äußerst relevant. Leider enthält der klassische Programmierstil viele Fehlermöglichkeiten, verursacht z.B. durch globale veränderbare Variablen, Schleifengrenzen oder veränderbare Datenstrukturen. Die Unterstützung durch KI-Methoden ist dabei nicht unbedingt gewinnbringend, weil diese entweder eine exakte Spezifikation oder eine genaue Überprüfung des generierten Codes durch den Menschen erfordern.
In diesem Vortrag wird gezeigt, wie Methoden der deklarativen Programmierung hilfreich sind, um zuverlässigen Code effizient zu erstellen. Dies wird dadurch erreicht, dass exakt formulierte Anforderungen in deklarativen Programmiersprachen oft direkt ausführbar sind. Weiterhin unterstützt die Einschränkung bzw. Kontrolle von Seiteneffekten die automatisierte Analyse und Verifikation von Programmen.
Praktisch wird dies demonstriert mit der deklarativen Programmiersprache Curry, welche durch die Kombination funktionaler und logischer Programmierelemente die Ausführung logischer Spezifikationen ermöglicht. Außerdem wird in diesem Vortrag ein Überblick über Methoden und Werkzeuge gegeben, mit denen verschiedene Eigenschaften deklarativer Programme automatisch nachgewiesen werden können.
