Constraint Handling Rules - Compilation, Execution, and Analysis (eBook, PDF)

Large Print Edition
Redaktion: Frühwirth, Thom; Raiser, Frank

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: BoD - Books on Demand
• Seitenzahl: 308
• Erscheinungstermin: 25. Januar 2018
• Englisch
• ISBN-13: 9783746042336
• Artikelnr.: 50833528

Autorenporträt

Thom Frühwirth: Thom Frühwirth is a professor of Computer Science at the University of Ulm, Germany. His research areas are Computational Logic and Constraint Programming. He is the designer of the logical formalism and programming language Constraint Handling Rules. http://www.constraint-handling-rules.org Frank Raiser: 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