Jan C. Dageförde

According to our database, Jan C. Dageförde authored at least 13 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming.

Jan C. Dageförde, Herbert Kuchen

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2021

Free Objects in Constraint-logic Object-oriented Programming.

Jan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020

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

Jan C. Dageförde

PhD thesis, 2020

Constraint-Logic Object-Oriented Programming with Free Arrays.

Jan C. Dageförde, Herbert Kuchen

CoRR, 2020

Constraint-Logic Object-Oriented Programming with Free Arrays.

Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen

Proceedings of the Functional and Constraint Logic Programming, 2020

2019

A compiler and virtual machine for constraint-logic object-oriented programming with Muli.

Jan C. Dageförde, Herbert Kuchen

J. Comput. Lang., 2019

Automated Data-Flow Analysis and Validation in Process Automation Projects.

Lars Beyer, Jan C. Dageförde, Herbert Kuchen, Claus A. Usener

Proceedings of the Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques, 2019

Retrieval of individual solutions from encapsulated search with a potentially infinite search space.

Jan C. Dageförde, Herbert Kuchen

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming.

Jan C. Dageförde, Finn Teegen

Proceedings of the Declarative Programming and Knowledge Management, 2019

2018

Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming.

Jan C. Dageförde

Proceedings of the Functional and Constraint Logic Programming, 2018

A constraint-logic object-oriented language.

Jan C. Dageförde, Herbert Kuchen

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

An Operational Semantics for Constraint-Logic Imperative Programming.

Jan C. Dageförde, Herbert Kuchen

Proceedings of the Declarative Programming and Knowledge Management, 2017

2016

Generating App Product Lines in a Model-Driven Cross-Platform Development Approach.

Jan C. Dageförde, Tobias Reischmann, Tim A. Majchrzak, Jan Ernsting

Proceedings of the 49th Hawaii International Conference on System Sciences, 2016