Constraint Handling Rules - Compilation, Execution, and Analysis
| Autor: | Thom Frühwirth, Frank Raiser |
|---|---|
| EAN: | 9783746042336 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 25.01.2018 |
| Untertitel: | Large Print Edition |
| Kategorie: | |
| Schlagworte: | Compiler Construction Program Execution Programming languages Rule-Based Programming program analysis |
39,99 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.
Verwandte Artikel