research
∙
06/01/2023
FreeCHR: An Algebraic Framework for CHR-Embeddings
We introduce the framework FreeCHR, which formalizes the embedding of Co...
research
∙
08/23/2018
Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report
Constraint Handling Rules (CHR) is a declarative rule-based formalism an...
research
∙
02/09/2018
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules
Confluence denotes the property of a state transition system that states...
research
∙
06/04/2017
Visualization of Constraint Handling Rules: Semantics and Applications
The work in the paper presents an animation extension (CHR^vis) to Const...
research
∙
05/14/2014