A Unified Analytical Foundation for Constraint Handling Rules. E-book. Formato EPUB - 9783738669435
Un ebook di Betz Hariolf edito da Books on Demand, 2015
- € 29.99
- Ebook con protezione DRM ! Consulta le FAQ Ebook DRM
- Il download richiede la preventiva configurazione di Adobe Digital Editions
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.
Informazioni bibliografiche
- Titolo: A Unified Analytical Foundation for Constraint Handling Rules. E-book. Formato EPUB
- Autore: Betz Hariolf
- Editore: Books on Demand
- Data di Pubblicazione: 22 Gennaio '15
- Formato: EPUB
- Protezione: Adobe DRM
(richiede Adobe Digital Editions) - ISBN-13: 9783738669435
A Unified Analytical Foundation for Constraint Handling Rules. E-book. Formato EPUB
Hariolf Betz
edizioni Books on Demand
download immediato
€ 29.99