An Integrated Constraint-Logic and Object-Oriented Programming Language : The Münster Logic-Imperative Language

Sometimes, business applications perform constraint-logic search, e. g., for finding solutions to planning problems. Most business applications are written in object-oriented programming languages that are not particularly suited for search applications. In contrast, logic and constraint-logic progr...

Verfasser: Dageförde, Jan Christoph
Weitere Beteiligte: Kuchen, Herbert (Gutachter)
FB/Einrichtung:FB 04: Wirtschaftswissenschaftliche Fakultät
Dokumenttypen:Dissertation/Habilitation
Medientypen:Text
Erscheinungsdatum:2020
Publikation in MIAMI:06.10.2020
Datum der letzten Änderung:07.10.2020
Angaben zur Ausgabe:[Electronic ed.]
Schlagwörter:constraint-logic object-oriented programming; programming language; virtual machine; integrated programming paradigms; constraint-logic search
Fachgebiet (DDC):004: Datenverarbeitung; Informatik
005: Computerprogrammierung, Programme, Daten
Lizenz:InC 1.0
Sprache:English
Hochschulschriftenvermerk:Teilw. zugl.: Münster (Westfalen), Univ., kum. Diss., 2020
Anmerkungen:Vollständige Druckausgabe der kumulativen Dissertation: Dageförde, Jan Christoph: An integrated constraint-logic and object-oriented programming language : the Münster Logic-Imperative language. (kumulative Dissertation, Westfälische Wilhelms-Universität Münster, 2020) Münster, 2020, XVII, 313 Seiten
Format:PDF-Dokument
URN:urn:nbn:de:hbz:6-89089640681
Permalink:https://nbn-resolving.de/urn:nbn:de:hbz:6-89089640681
Onlinezugriff:diss_dagefoerde.pdf

Sometimes, business applications perform constraint-logic search, e. g., for finding solutions to planning problems. Most business applications are written in object-oriented programming languages that are not particularly suited for search applications. In contrast, logic and constraint-logic programming languages offer useful features for search. However, such programming languages are less suited for the development of arbitrary (business) software. Consequently, there currently is a gap that established programming languages can only bridge by using impractical solutions. Intending to improve this situation, this work describes the multi-paradigm programming language Muli (short for the Münster Logic-Imperative Language). Muli is based on Java, adding support for constraint-logic features. Most notably, Muli offers logic variables, symbolic execution, and encapsulated search. It is accompanied by a compiler and a sophisticated runtime environment. So far, Muli has been successfully applied to several domains, namely to logistics, the development of neural networks, and classical search problems.