Jan C. Dageförde

Orcid: 0000-0001-9141-7968

According to our database1, Jan C. Dageförde authored at least 14 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming.
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2021
Free Objects in Constraint-logic Object-oriented Programming.
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.
PhD thesis, 2020

Constraint-Logic Object-Oriented Programming with Free Arrays.
CoRR, 2020

Constraint-Logic Object-Oriented Programming with Free Arrays.
Proceedings of the Functional and Constraint Logic Programming, 2020

2019
A compiler and virtual machine for constraint-logic object-oriented programming with Muli.
J. Comput. Lang., 2019

Automated Data-Flow Analysis and Validation in Process Automation Projects.
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.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming.
Proceedings of the Declarative Programming and Knowledge Management, 2019

2018
Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming.
Proceedings of the Functional and Constraint Logic Programming, 2018

A constraint-logic object-oriented language.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017
An Operational Semantics for Constraint-Logic Imperative Programming.
Proceedings of the Declarative Programming and Knowledge Management, 2017

2016
Generating App Product Lines in a Model-Driven Cross-Platform Development Approach.
Proceedings of the 49th Hawaii International Conference on System Sciences, 2016

2014
Old Dogs and New Tricks - Exploring the Benefits and Drawbacks of IT Consumerizationin the Context of Aging Workforces.
Proceedings of the Multikonferenz Wirtschaftsinformatik, 2014


  Loading...