Forschungsbericht 1999-2000 | |
Institut für Wirtschaftsinformatik
Leonardo-Campus 3 48149 Münster Tel. (0251) 83-38100 Fax: (0251) 83-38109 e-mail: ls-is@uni-muenster.de WWW: http://www.wi.uni-muenster.de/ Geschäftsführender Direktor: Prof. Dr. Jörg Becker | |
Forschungsschwerpunkte 1999 - 2000
Fachbereich 04 - Wirtschaftswissenschaftliche Fakultät Institut für Wirtschaftsinformatik Lehrstuhl Prof. Dr. Herbert Kuchen (Praktische Informatik in der Wirtschaft) | ||||
Integration von funktionaler und logischer Programmierung
Funktional-logische Programmiersprachen verbinden die Vorteile funktionaler
Sprachen wie Funktionen höherer Ordnnung und verzögerte Auswertung
mit den Vorteilen logischer Sprachen wie z.B. einem integrierten Suchmechanismus.
In Kooperation mit Forschungsgruppen in u.a. Kiel, Portland und Madrid wurde die
funktional-logische Sprache Curry entwickelt. Diese Sprache wurde im Rahmen des
Projekts effizient implementiert. Insbesondere wurden eine hierauf zugeschnittene
abstrakte Maschine und ein Compiler entwickelt, der Curry-Programme in Code
für diese abstrakte Maschine übersetzt. Besonderes Augenmerk wurde
der Implementierung der eingekapselten Suche sowie der Integration eines
Constraint-Lösers für lineare Constraints über den reellen Zahlen
gewidmet. Weiterhin wurde untersucht, inwieweit sich der objektorientierte Ansatz
zur Software-Entwicklung mit funktional-logischer Programmierung verbinden
läßt.
Beteiligte Wissenschaftler:
Veröffentlichungen: |
||||
Hans-Joachim Peter