Stem chrs$ (all stems)

3 papers:

PADL-2006-GouraudG #functional #java #testing #using #virtual machine

Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine (SDG, AG), pp. 1–15.

SAC-2002-BistarelliFM #constraints

Soft constraint propagation and solving in CHRs (SB, TWF, MM), pp. 1–5.

ICLP-2002-Thielscher #constraints #finite #reasoning

Reasoning about Actions with CHRs and Finite Domain Constraints (MT), pp. 70–84.