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 | Practical Computer Science Group (PI) |
Research associates from the University of Münster
| Dageförde, Jan | Practical Computer Science Group (PI) |
| Troost, Laura | Practical Computer Science Group (PI) |
| Winkelmann, Hendrik | Practical Computer Science Group (PI) |