3 papers
cs.PL2025
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…
cs.PL2025
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…
cs.PL2025
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…