We observe that the various formulations of the operational semantics of Constraint
Handling Rules proposed over the years fall into a spectrum ranging from the analytical to …

This paper investigates the compilation of a committed-choice rule-based language,
Constraint Handling Rules (CHR), to specialized hardware circuits. The developed …

We introduce a systematic, concurrent execution scheme for Constraint Handling Rules
(CHR) based on a previously proposed sequential goal-based CHR semantics. We …

Abstract Constraint Handling Rules (CHR) is a rule-and logic-based formalism and has
established itself as an active research topic. In contrast to other rule-based approaches …

Parallel multiset rewriting is usually restricted to be free of overlaps, such that multiple rule
applications cannot remove the same object. In this work, we present a parallel execution …

Abstract Constraint Handling Rules (CHR) is an elegant, high-level programming language
based on multi-headed, forward chaining rules. To ensure CHR propagation rules are …

Graphical Processing Units (GPUs) consist of hundreds of small cores, collectively operating
to provide massive computation capabilities. The aim of this work is to utilize this technology …

Software Transactional Memory (STM) has the promise to avoid the common pitfalls of locks
when writing thread-based concurrent programs. Most papers on the subject deal with low …

Constraint Handling Rules (CHR) is both an effective concurrent declarative programming
language and a versatile computational logic formalism. In CHR, guarded reactive rules …

In the most abstract definition of its operational semantics, the declarative and concurrent
programming language CHR is trivially non-terminating for a significant class of programs …