Constraint Handling Rules - Compilation, Execution, and Analysis
| Author | : Thom Frühwirth |
| Publisher | : BoD – Books on Demand |
| Total Pages | : 310 |
| Release | : 2018-01-16 |
| ISBN-10 | : 9783746069050 |
| ISBN-13 | : 374606905X |
| Rating | : 4/5 (05X Downloads) |
Download or read book Constraint Handling Rules - Compilation, Execution, and Analysis written by Thom Frühwirth and published by BoD – Books on Demand. This book was released on 2018-01-16 with total page 310 pages. Available in PDF, EPUB and Kindle. Book excerpt: Constraint Handling Rules (CHR) is both a theoretical formalism and a practical programming language. This book provides an overview of CHR research based on a reviewed selection of 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 chapters offer in-depth treatises of selected subjects, supported by a wealth of examples. The book is ideal for master students, lecturers, and researchers.
Top