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

Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)

Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI)

Laufzeit: seit 01.11.2015

Art des Projekts: Eigenmittelprojekt

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. Springer VDI Verlag. Art der Publikation: Forschungsartikel (Buchbeitrag)
Free Objects in Constraint-logic Object-oriented Programming Dageförde Jan C., Kuchen Herbert (2020) Münster: (kein Verlag angegeben). Art der Publikation: Arbeitspapier / Working Paper
Reference Type Logic Variables in Constraint-logic Object-oriented Programming Dageförde Jan C. (2019) In: Silva J (Hrsg.), Functional and Constraint Logic Programming. Springer VDI Verlag. Art der Publikation: Forschungsartikel (Buchbeitrag)
A Compiler and Virtual Machine for Constraint-logic Object-oriented Programming with Muli Dageförde Jan C., Kuchen Herbert (2019) In: Journal of Computer Languages, 53 Art der Publikation: Forschungsartikel (Zeitschrift)
Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space Dageförde Jan C., Kuchen Herbert (2019) In: (Hrsg.), . (kein Verlag angegeben). Art der Publikation: Forschungsartikel in Sammelband (Konferenz)