The Resource Constraint handling rules, Thom Frühwirth

Constraint handling rules, Thom Frühwirth

Label
Constraint handling rules
Title
Constraint handling rules
Statement of responsibility
Thom Frühwirth
Creator
Author
Subject
Language
eng
Summary
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 demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features. Finally, larger programs are introduced and analyzed in detail. The book is ideal for graduate students and lecturers, and for more experienced programmers and researchers, who can use it for self-study. Exercises with selected solutions, and bibliographic remarks are included at the ends of chapters. The book is the definitive reference on the subject
Cataloging source
UkCbUP
http://library.link/vocab/creatorDate
1962-
http://library.link/vocab/creatorName
Frühwirth, Thom
Dewey number
005.1/16
Index
index present
LC call number
QA76.612
LC item number
.F77 2009
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/subjectName
  • Constraint programming (Computer science)
  • Logic programming
  • Declarative programming
Label
Constraint handling rules, Thom Frühwirth
Link
http://www.loc.gov/catdir/toc/fy1001/2009018859.html
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Dimensions
26 cm.
Extent
xxiii, 296 p.
Isbn
9780521877763
Isbn Type
(hardback)
Lccn
2009018859
Other physical details
ill.
System control number
  • 3321839-01okla_normanlaw
  • (SIRSI)3321839
  • (Sirsi) o311769446
  • (OCoLC)311769446
Label
Constraint handling rules, Thom Frühwirth
Link
http://www.loc.gov/catdir/toc/fy1001/2009018859.html
Publication
Bibliography note
Includes bibliographical references and index
Dimensions
26 cm.
Extent
xxiii, 296 p.
Isbn
9780521877763
Isbn Type
(hardback)
Lccn
2009018859
Other physical details
ill.
System control number
  • 3321839-01okla_normanlaw
  • (SIRSI)3321839
  • (Sirsi) o311769446
  • (OCoLC)311769446

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...