10 citations · 12 across the 2 of their papers we have counts for
1 paper · 1 filter
Edmund S. L. Lam, Iliano Cervesato
CHR is a declarative, concurrent and committed choice rule-based constraint programming language. We extend CHR with multiset comprehension patterns, providing the programmer with…