Jan C. Dageförde

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 14

Top Topics

Branching Factor

Practical Problems

Functional Programming

Top Venues

Publications

Jan C. Dageförde, Herbert Kuchen
Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Jan C. Dageförde, Hendrik Winkelmann, Herbert Kuchen
Free Objects in Constraint-logic Object-oriented Programming. PPDP (2021)
Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen
Constraint-Logic Object-Oriented Programming with Free Arrays. WFLP (2020)
Jan C. Dageförde, Herbert Kuchen
Constraint-Logic Object-Oriented Programming with Free Arrays. CoRR (2020)
Jan C. Dageförde, Herbert Kuchen
Retrieval of individual solutions from encapsulated search with a potentially infinite search space. SAC (2019)
Jan C. Dageförde, Finn Teegen
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming. CoRR (2019)
Lars Beyer, Jan C. Dageförde, Herbert Kuchen, Claus A. Usener
Automated Data-Flow Analysis and Validation in Process Automation Projects. SoMeT (2019)
Jan C. Dageförde, Finn Teegen
Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming. DECLARE (2019)
Jan C. Dageförde, Herbert Kuchen
A compiler and virtual machine for constraint-logic object-oriented programming with Muli. J. Comput. Lang. 53 (2019)
Jan C. Dageförde
Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming. WFLP (2018)
Jan C. Dageförde
Reference Type Logic Variables in Constraint-logic Object-oriented Programming. CoRR (2018)
Jan C. Dageförde, Herbert Kuchen
A constraint-logic object-oriented language. SAC (2018)
Jan C. Dageförde, Herbert Kuchen
An Operational Semantics for Constraint-Logic Imperative Programming. DECLARE (2017)
Jan C. Dageförde, Tobias Reischmann, Tim A. Majchrzak, Jan Ernsting
Generating App Product Lines in a Model-Driven Cross-Platform Development Approach. HICSS (2016)
Jörg Becker, Kevin Ortbach, Sebastian Köffer, Jan C. Dageförde, Björn Niehaves
Old Dogs and New Tricks - Exploring the Benefits and Drawbacks of IT Consumerizationin the Context of Aging Workforces. MKWI (2014)