About this book
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs.
The CHR language saw the light more than 15 years ago. Since then, it has become a major declarative specification and implementation language for constraint-based algorithms and applications. In recent years, five workshops on constraint handling rules have spurred the exchange of ideas within the CHR community, which has led to increased international collaboration, new theoretical results and optimized implementations.
The aim of this volume was to attract high-quality research papers on these recent advances in Constraint Handling Rules. The 7 papers presented together with an introductory paper on CHR cover topics on search, applications, theory, and implementation of CHR.
Editors and affiliations
- Book Title Constraint Handling Rules
- Book Subtitle Current Research Topics
- Series Title Lecture Notes in Computer Science
- DOI https://doi.org/10.1007/978-3-540-92243-8
- Copyright Information Springer-Verlag Berlin Heidelberg 2008
- Publisher Name Springer, Berlin, Heidelberg
- eBook Packages Computer Science Computer Science (R0)
- Softcover ISBN 978-3-540-92242-1
- eBook ISBN 978-3-540-92243-8
- Series ISSN 0302-9743
- Series E-ISSN 1611-3349
- Edition Number 1
- Number of Pages VII, 245
- Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
- Buy this book on publisher's site