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

Grunddaten zum Promotionsverfahren

Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster

Zeitraum: bis 07.07.2020

Status: abgeschlossen

Promovend*in: Dageförde, Jan

Promotionsfach: Wirtschaftsinformatik

Abschlussgrad: Dr. rer. pol.

Verleihender Fachbereich: Fachbereich 04 - Wirtschaftswissenschaftliche Fakultät

Betreuer*innen: Kuchen, Herbert

Laufzeit: seit 01.11.2015

Art des Projekts: Eigenmittelprojekt

Free Objects in Constraint-logic Object-oriented Programming Dageförde Jan C., Kuchen Herbert (2020) Münster(kein Verlag angegeben). Arbeitspapier / Working Paper \| Veröffentlicht
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming Dageförde Jan C., Teegen Finn (2020) In: Hofstedt P, Abreu S, John U, Kuchen H, Seipel D (Hrsg.), Declarative Programming and Knowledge Management, 199-214. Springer VDI Verlag. doi:10.1007/978-3-030-46714-2_13 Forschungsartikel (Buchbeitrag) \| Peer reviewed \| Veröffentlicht
A Compiler and Virtual Machine for Constraint-logic Object-oriented Programming with Muli Dageförde Jan C., Kuchen Herbert (2019) In: ((Bitte Journal prüfen)), 53, 63-78. doi:10.1016/j.cola.2019.05.001 Forschungsartikel (Zeitschrift) \| Peer reviewed \| Veröffentlicht
Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space Dageförde Jan C., Kuchen Herbert (2019) In: (Hrsg.), , 1552-1561. (kein Verlag angegeben). doi:10.1145/3297280.3298912 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Reference Type Logic Variables in Constraint-logic Object-oriented Programming Dageförde Jan C. (2019) In: Silva J (Hrsg.), Functional and Constraint Logic Programming, 131-144. Springer VDI Verlag. doi:10.1007/978-3-030-16202-3_8 Forschungsartikel (Buchbeitrag) \| Peer reviewed \| Veröffentlicht

Free Objects in Constraint-logic Object-oriented Programming Dageförde Jan C., Kuchen Herbert (2020) Münster(kein Verlag angegeben). Arbeitspapier / Working Paper \| Veröffentlicht
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming Dageförde Jan C., Teegen Finn (2020) In: Hofstedt P, Abreu S, John U, Kuchen H, Seipel D (Hrsg.), Declarative Programming and Knowledge Management, 199-214. Springer VDI Verlag. doi:10.1007/978-3-030-46714-2_13 Forschungsartikel (Buchbeitrag) \| Peer reviewed \| Veröffentlicht
A Compiler and Virtual Machine for Constraint-logic Object-oriented Programming with Muli Dageförde Jan C., Kuchen Herbert (2019) In: ((Bitte Journal prüfen)), 53, 63-78. doi:10.1016/j.cola.2019.05.001 Forschungsartikel (Zeitschrift) \| Peer reviewed \| Veröffentlicht
Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space Dageförde Jan C., Kuchen Herbert (2019) In: (Hrsg.), , 1552-1561. (kein Verlag angegeben). doi:10.1145/3297280.3298912 Forschungsartikel in Sammelband (Konferenz) \| Peer reviewed \| Veröffentlicht
Reference Type Logic Variables in Constraint-logic Object-oriented Programming Dageförde Jan C. (2019) In: Silva J (Hrsg.), Functional and Constraint Logic Programming, 131-144. Springer VDI Verlag. doi:10.1007/978-3-030-16202-3_8 Forschungsartikel (Buchbeitrag) \| Peer reviewed \| Veröffentlicht