An overview of the state of the art of CHR research based on a
reviewed selection of recent doctoral theses on the following topics:
compilation and optimization, execution strategies, and program
analysis. An introductory survey on CHR is also included.
The book is ideal for graduate students, lecturers, and researchers.
The chapters offer in-depth treatises of the selected subjects,
supported by a wealth of examples. If you are new to CHR, see