Constraint Handling Rules (CHR) is both a theoretical formalism and a practical programming language. This book provides an overview of the state of the art of CHR research based on a reviewed selection of recent doctoral theses.After a basic introduction to CHR, the book presents results from three different areas of CHR research: compilation and optimization, execution strategies, and program analysis.The book is ideal for Master students, lecturers, and researchers, to get an overview of the state of the art of CHR research. The chapters offer in-depth treatises of selected subjects, supported by a wealth of examples.

Prof. Dr. Dr. Thom Fruehwirth (University of Ulm)is the designer of the programming language Constraint Handling Rules (CHR) and author of a book on CHR. He has also co-authored two books on constraint programming and reasoning, and has published more than 140 research papers.After graduation at the Technical University Vienna in 1990, he was a researcher at the European Computer Industry Research Centre in Munich. In 1996 he joined the Ludwig Maximilians University there, became assistant professor and held visiting positions in Italy, Australia, The Netherlands and Brazil. Since 2002, he is an associate professor at the University of Ulm.