Mohlo by se vám také líbit

Více informací o knize Unified Analytical Foundation for Constraint Handling Rules

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 133 bodů

Anotace knihy

The non-deterministic rule-based programming language of Constraint Handling Rules (CHR) features a remarkable combination of desirable properties: a foundation in classical logic, powerful analysis methods for deciding program properties especially confluence and an efficient execution model. Upon a closer look, we observe several limitations to this asset.§In this thesis, we introduce several concepts to amend for these short- comings. Firstly, we propose an unusually concise formulation of the two most important semantic interpretations of CHR. Secondly, we analyse the relationship between the major diverging interpretations of CHR. Finally, we found CHR on intuitionistic linear logic.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Programming & scripting languages: general

• Plný název: Unified Analytical Foundation for Constraint Handling Rules
• Autor: Hariolf Betz
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 182
• EAN: 9783734732508
• ISBN: 3734732506
• ID: 09179098
• Nakladatelství: Books on Demand
• Hmotnost: 336 g
• Rozměry: 246 × 189 × 10 mm
• Datum vydání: 23. December 2014

Oblíbené z jiného soudku

---

---

---