Constraint Handling Rules - Compilation, Execution, and Analysis: Large Print EditionThom Frühwirth, Frank Raiser Books on Demand, 25.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. |
Andere Ausgaben - Alle anzeigen
Constraint Handling Rules - Compilation, Execution, and Analysis: Large ... Thom Frühwirth,Frank Raiser Eingeschränkte Leseprobe - 2018 |
Constraint Handling Rules: Compilation, Execution, and Analysis Thom Frühwirth,Frank Raiser Keine Leseprobe verfügbar - 2011 |