4 papers
A Refined Operational Semantics for FreeCHR
Sascha Rechenberger, Thom Frühwirth
Constraint Handling Rules (CHR) is a rule-based programming language which is typically embedded into a general-purpose language. There exists a plethora of implementations for num…
Optimized Execution of FreeCHR
Sascha Rechenberger, Thom Frühwirth
Constraint Handling Rules (CHR) is a rule-based programming language that rewrites collections of constraints. It is typically embedded into a general-purpose language. There exist…
An instance of FreeCHR with refined operational semantics
Sascha Rechenberger, Thom Frühwirth
Constraint Handling Rules (CHR) is a rule-based programming language which is typically embedded into a general-purpose language. There exists a plethora of implementations of CHR…
FreeCHR: An Algebraic Framework for CHR-Embeddings
Sascha Rechenberger, Thom Frühwirth
We introduce the framework FreeCHR which formalizes the embedding of Constraint Handling Rules (CHR) into a host language, using the concept of initial algebra semantics from categ…