4 citations · 10 across the 8 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…