Funktionale Programmierung mit CONSTRAINTS

Durch die Integration von Constraintsystemen in logischen Programmiersprachen müssen komplexe Probleme nicht mehr durch suchraumintensive Logikprogramme gelöst werden, sondern können direkt an einen effizienten Constraintsolver übergeben werden. Wie Untersuchungen im Bereich der Integration von funktionalen und logischen Programmierkonzepten zeigen, ließe sich durch die Vereinigung von funktionalen Konzepten mit den Konzepten der constraint-logischen Programmierung der Suchraum in constraint-logischen Programmen weiter einschränken und damit die Effizienz solcher Programme erheblich steigern. Die Integration von funktionalen, logischen und constraint-basierten Programmierkonzepten wurde bis jetzt jedoch kaum untersucht.

Ziel des beantragten Projekts ist deshalb die semantisch wohlfundierte Integration von funktionalen, logischen und constraint-basierten Programmierkonzepten, die Entwicklung einer dazugehörigen Programmiermethodik, die Implementierung eines Prototyp-Auswerters, sowie die Validierung des Ansatzes anhand von beispielhaften Implementierungen.

Das Projekt wird von der Deutschen Forschungsgemeinschaft gefördert.

Ansprechpartner: Dr. Thom Frühwirth.

Liste aller Projekte

Institut

Universität