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 |
Wissenschaftliche Projektmitarbeiter*innen der Universität Münster
| Dageförde, Jan | |
| Troost, Laura | |
| Winkelmann, Hendrik |
Publikationen der Universität Münster entstanden im Projekt
Dageförde Jan C. (2018) In: (Hrsg.), . (kein Verlag angegeben). Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Dageförde Jan C., Kuchen Herbert (2018) Oslo, Norway: Selbstverlag / Eigenverlag. Arbeitspapier / Working Paper | Veröffentlicht | |
Dageförde Jan C., Kuchen Herbert (2017) In: Amme W, Heinze TS (Hrsg.), . (kein Verlag angegeben). Forschungsartikel in Sammelband (Konferenz) | Veröffentlicht | |
Dageförde Jan C., Kuchen Herbert (2018) In: Seipel D, Hanus M, Abreu S (Hrsg.), Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017., 64-80. Cham: Springer VDI Verlag. doi:10.1007/978-3-030-00801-7_5 Forschungsartikel (Buchbeitrag) | Peer reviewed | Veröffentlicht | |
Dageförde Jan C., Kuchen Herbert (2018) In: (Hrsg.), , 1185-1194. New York, NY, USA: ACM Press. doi:10.1145/3167132.3167260 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht |
Promotionen erfolgt im Projekt
| An Integrated Constraint-Logic and Object-Oriented Programming Language - The Münster Logic-Imperative Language Promovend*in: Dageförde, Jan C. | Betreuer*innen: Kuchen, Herbert Zeitraum: bis 07.07.2020 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster |