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

Practical Computer Science Group (PI)

Practical Computer Science Group (PI)

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. Springer VDI Verlag. Research article (book contribution)
Free Objects in Constraint-logic Object-oriented Programming Dageförde Jan C., Kuchen Herbert (2020) Münster(kein Verlag angegeben). Working paper
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. Research article (journal)
Retrieval of Individual Solutions from Encapsulated Search with a Potentially Infinite Search Space Dageförde Jan C., Kuchen Herbert (2019) In: (eds.), . (kein Verlag angegeben). Research article in edited proceedings (conference)
Reference Type Logic Variables in Constraint-logic Object-oriented Programming Dageförde Jan C. (2019) In: Silva J (eds.), Functional and Constraint Logic Programming. Springer VDI Verlag. Research article (book contribution)