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

Basic data of the doctoral examination procedure

Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster

Period of time: to 07/07/2020

Status: completed

Candidate: Dageförde, Jan

Doctoral subject: Wirtschaftsinformatik

Doctoral degree: Dr. rer. pol.

Awarded by: Department 04 - Münster School of Business and Economics

Supervisors: Kuchen, Herbert

Duration: since 01/11/2015

Type of project: Own resources project

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 (eds.), Declarative Programming and Knowledge Management, 199-214. Springer VDI Verlag. doi:10.1007/978-3-030-46714-2_13 Research article (book contribution) \| Peer reviewed \| Published
Free Objects in Constraint-logic Object-oriented Programming Dageförde Jan C., Kuchen Herbert (2020) Münster(kein Verlag angegeben). Working paper \| Published
Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space Dageförde Jan C., Kuchen Herbert (2019) In: (eds.), , 1552-1561. (kein Verlag angegeben). doi:10.1145/3297280.3298912 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Reference Type Logic Variables in Constraint-logic Object-oriented Programming Dageförde Jan C. (2019) In: Silva J (eds.), Functional and Constraint Logic Programming, 131-144. Springer VDI Verlag. doi:10.1007/978-3-030-16202-3_8 Research article (book contribution) \| Peer reviewed \| Published
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 Research article (journal) \| Peer reviewed \| Published

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 (eds.), Declarative Programming and Knowledge Management, 199-214. Springer VDI Verlag. doi:10.1007/978-3-030-46714-2_13 Research article (book contribution) \| Peer reviewed \| Published
Free Objects in Constraint-logic Object-oriented Programming Dageförde Jan C., Kuchen Herbert (2020) Münster(kein Verlag angegeben). Working paper \| Published
Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space Dageförde Jan C., Kuchen Herbert (2019) In: (eds.), , 1552-1561. (kein Verlag angegeben). doi:10.1145/3297280.3298912 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Reference Type Logic Variables in Constraint-logic Object-oriented Programming Dageförde Jan C. (2019) In: Silva J (eds.), Functional and Constraint Logic Programming, 131-144. Springer VDI Verlag. doi:10.1007/978-3-030-16202-3_8 Research article (book contribution) \| Peer reviewed \| Published
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 Research article (journal) \| Peer reviewed \| Published