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

Dukung

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
cara pembayaran

Tentang Penulis

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.

Beli ebook ini dan dapatkan 1 lagi GRATIS!
Bahasa Inggris ● Format EPUB ● Halaman 180 ● ISBN 9783738669435 ● Ukuran file 12.8 MB ● Editor Thom Frühwirth & Uwe Schöning ● Penerbit Books on Demand ● Diterbitkan 2015 ● Edisi 1 ● Diunduh 24 bulan ● Mata uang EUR ● ID 6828267 ● Perlindungan salinan Adobe DRM
Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

2,858 Ebooks dalam kategori ini