책 이미지
eBook 미리보기
책 정보
· 제목 : Constraint Handling Rules (Hardcover)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 일반
· ISBN : 9780521877763
· 쪽수 : 322쪽
· 출판일 : 2009-07-09
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 > 일반
· ISBN : 9780521877763
· 쪽수 : 322쪽
· 출판일 : 2009-07-09
목차
Preface; Part I. CHR Tutorial: 1. Getting started; 2. My first CHR programs; Part II. The CHR Language: 3. Syntax and semantics; 4. Properties of CHR; 5. Program analysis; 6. Rule-based and graph-based formalisms in CHR; Part 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; Bibliography; List of figures; List of illustrations; Index.
