Constraint handling rules /

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online...

Full description

Saved in:
Bibliographic Details
Main Author: Frühwirth, Thom, 1962- (Author)
Format: eBook
Published: Cambridge : Cambridge University Press, 2009.
Online Access:CONNECT