Constraint Handling Rules - Compilation, Execution, and Analysis: Large Print EditionThom Frühwirth, Frank Raiser BoD – Books on Demand, 16.01.2018 - 308 Seiten 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. |
Inhalt
Constraint Handling Rules | 15 |
Basic Compilation | 53 |
The K U Leuven CHR System | 71 |
Rule Priorities | 91 |
Concurrent CHR | 121 |
Computational Complexity | 159 |
Complexity Analysis of CHRrp Programs | 197 |
A Complete and Terminating Operational Semantics | 239 |
Abstract Interpretation | 283 |
Andere Ausgaben - Alle anzeigen
Constraint Handling Rules: Compilation, Execution, and Analysis Thom Frühwirth,Frank Raiser Keine Leseprobe verfügbar - 2011 |
Constraint Handling Rules - Compilation, Execution, and Analysis: Large ... Thom Frühwirth,Frank Raiser Keine Leseprobe verfügbar - 2018 |
Häufige Begriffe und Wortgruppen
abstract interpretation active constraint analysis apply arguments Bart Demoen benchmark built-in constraints CHR compiler CHR constraints CHR implementation CHR machine CHR program CHR rules CHR store CHRrp Computer Science concurrent Constraint Handling Rules Constraint Programming constraint store corresponds defined definition deleted denote derivation Duck editors equivalence example Fibonacci Fibonacci heaps formal given global goal-based guard hash table Haskell Holzbaur host language input Jon Sneyers K.U.Leuven CHR system late storage Lemma Listing Logic Programming Logical Algorithms lookup matching merge Merge Sort multiset occurrence optimizations partner constraints predicate prefix extension prefix firing priority queue priority rule programming language Prolog propagation history propagation rules RAM machine refined operational semantics rewriting rule application rule firings rule head rule instance rule priorities runtime schedule Schrijvers Section simplified simulator space complexity Springer Sudoku SWI-Prolog Thom Frühwirth threads transition true Turing machine Turing-complete union-find variables Weert