Muli – The Münster Logic-Imperative Language (Muli)
Basic data for this project
Type of project: Own resources project
Duration at the University of Münster: since 01/11/2015
Description
Object-oriented programming languages prevail in the development of enterprise software, but they do not particularly support the implementation of software which includes solving complicated search problems with dynamically appearing constraints. We propose the constraint-logic object-oriented language Muli. It facilitates an integrated implementation of business applications that involve search. Muli extends Java by logic variables and encapsulated search and leverages a symbolic virtual machine and constraint solvers.
Keywords: Multi-paradigm programming language; Symbolic execution; Constraint-logic programming
Website of the project: https://github.com/wwu-pi/muli/
Project management at the University of Münster
| Kuchen, Herbert |
Research associates from the University of Münster
| Dageförde, Jan | |
| Troost, Laura | |
| Winkelmann, Hendrik |
Publications of the University of Münster resulting from the project
Dageförde Jan C. (2018) In: (eds.), . (kein Verlag angegeben). Research article in edited proceedings (conference) | Peer reviewed | Published | |
Dageförde Jan C., Kuchen Herbert (2018) Oslo, Norway: Selbstverlag / Eigenverlag. Working paper | Published | |
Dageförde Jan C., Kuchen Herbert (2017) In: Amme W, Heinze TS (eds.), . (kein Verlag angegeben). Research article in edited proceedings (conference) | Published | |
Dageförde Jan C., Kuchen Herbert (2018) In: Seipel D, Hanus M, Abreu S (eds.), 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 Research article (book contribution) | Peer reviewed | Published | |
Dageförde Jan C., Kuchen Herbert (2018) In: (eds.), , 1185-1194. New York, NY, USA: ACM Press. doi:10.1145/3167132.3167260 Research article in edited proceedings (conference) | Peer reviewed | Published |
Doctorates resulting from the project
| An Integrated Constraint-Logic and Object-Oriented Programming Language - The Münster Logic-Imperative Language Candidate: Dageförde, Jan C. | Supervisors: Kuchen, Herbert Period of time: until 07/07/2020 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster |