Constraint handling rules [E-Book] / Thom Frühwirth.
Frühwirth, Thom, (author)
Cambridge : Cambridge University Press, 2009
1 online resource (xxiii, 296 pages)
englisch
9780521877763
9780511609886
Full Text
Table of Contents:
  • pt. I. CHR tutorial
  • 1. Getting started
  • 2. My first CHR programs
  • pt. II. CHR language
  • 3. Syntax and semantics
  • 4. Properties of CHR
  • 5. Program analysis
  • 6. Rule-based and graph-based formalisms in CHR
  • pt. III. CHR programs and applications
  • 7. My first CHR programs, revisited for analysis
  • 8. Finite domain constraint solvers
  • 9. Infinite domain constraint solvers
  • 10. Union-find algorithm.