Hariolf Betz 
A Unified Analytical Foundation for Constraint Handling Rules [EPUB ebook] 

Підтримка

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.

€29.99
методи оплати

Про автора

The editor Uwe Schöning is a professor of Theoretical Computer Science at the University of Ulm, Germany. He introduced the low and high hierarchies to structural complexity theory to describe the internal structure of the complexity class NP. Later, he invented a much-cited SAT-Algorithm. He has also authored several popular textbooks on Logic in Computer Science.

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!
Мова Англійська ● Формат EPUB ● Сторінки 180 ● ISBN 9783738669435 ● Розмір файлу 12.8 MB ● Редактор Thom Frühwirth & Uwe Schöning ● Видавець Books on Demand ● Опубліковано 2015 ● Видання 1 ● Завантажувані 24 місяців ● Валюта EUR ● Посвідчення особи 6828267 ● Захист від копіювання Adobe DRM
Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

2 800 Електронні книги в цій категорі