Ableitung von Programmeigenschaften aus polymorphen Typen in funktional-logischen Sprachen

点击翻译按钮获取中文摘要

In getypten funktionalen Programmiersprachen (wie Haskell) erlaubt die Theorie relationaler Parametrizität die Herleitung von Aussagen zum Programmverhalten allein aus (polymorphen) Typangaben. Daraus ergeben sich Anwendungsmöglichkeiten etwa zur Programmverifikation und im Bereich der Transformation von Programmen zur Effizienzsteigerung. Im Mittelpunkt der bisherigen Projektphase standen sowohl theoretische als auch praktische Aspekte bei der Erweiterung des betrachteten Sprachumfangs. Dabei blieb das grundlegende Paradigma jedoch auf die rein funktionale Programmierung beschränkt. Für um Konzepte der Logikprogrammierung angereicherte funktional-logische Sprachen (wie Curry) ist das entsprechende Potential noch nicht erschlossen. Ziele der Fortführung des Projektes sind nun die theoretische Fundierung relationaler Parametrizität für das kombinierte Paradigma, sowie deren konkrete Nutzbarmachung in diesem Kontext.