Constraint Handling Rules: Compilation, Execution, and Analysis

Authors:
Thom Frhwirth;Frank Raiser
Affiliations:
-;-
Venue:
Constraint Handling Rules: Compilation, Execution, and Analysis
Year:
2011

Citing 0
Cited 1

Probabilistic termination of CHRiSM programs

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.