Muli – The Münster Logic-Imperative Language (Muli)
Grunddaten zu diesem Projekt
Art des Projektes: Eigenmittelprojekt
Laufzeit an der Universität Münster: seit 01.11.2015
Beschreibung
In der Praxis hat sich objektorientierte Programmierung mit Sprachen wie Java an vielen Stellen durchgesetzt. Solche Sprachen sind allerdings nur bedingt zur Lösung von Suchproblemen, wie man sie beispielsweise in der Produktionsplanung vorfindet, geeignet. Aus diesem Grund entwickeln wir die constraint-logische objektorientierte Programmiersprache Muli, welche einen integrierten Ansatz zur Entwicklung von Anwendungen mit Suchbereichen anbietet. Durch Muli wird Java um logische Variablen und gekapselte Suche erweitert. Zu diesem Zweck kommen eine symbolische virtuelle Maschine und Constraint Solver zum Einsatz.
Stichwörter: Mehrparadigmenprogrammiersprache; Symbolische Ausführung; Logische Programmierung; Constraintprogrammierung
Webseite des Projekts: https://github.com/wwu-pi/muli/
Projektleitung der Universität Münster
| Kuchen, Herbert | Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI) |
Wissenschaftliche Projektmitarbeiter*innen der Universität Münster
| Dageförde, Jan | Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI) |
| Troost, Laura | Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI) |
| Winkelmann, Hendrik | Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI) |