Constraint Handling Rules - Compilation, Execution, and Analysis: Large Print Edition

Cover
Thom Frühwirth, Frank Raiser
BoD – Books on Demand, 16.01.2018 - 308 Seiten
0 Rezensionen
Rezensionen werden nicht überprüft, Google sucht jedoch gezielt nach gefälschten Inhalten und entfernt diese
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.
 

Was andere dazu sagen - Rezension schreiben

Es wurden keine Rezensionen gefunden.

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
Urheberrecht

Andere Ausgaben - Alle anzeigen

Häufige Begriffe und Wortgruppen

Über den Autor (2018)

Thom Frühwirth is a Professor in Computer Science at the University of Ulm, Germany. He is the designer of the programming language Constraint Handling Rules (CHR) and the main author of two books on constraint programming and reasoning. http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/

Frank Raiser earned his PhD on CHR at the University of Ulm, Germany. He is now a software engineer with a strong computer science background. http://frankraiser.de

Bibliografische Informationen