A Unified Analytical Foundation for Constraint Handling Rules

Hariolf Betz , Thom Frühwirth (Hrsg.), Uwe Schöning (Hrsg.)

Industrie & Technik

Paperback

180 Seiten

ISBN-13: 9783734732508

Verlag: Books on Demand

Erscheinungsdatum: 23.12.2014

Sprache: Englisch

Farbe: Nein

Bewertung::

0 Bewertungen

erhältlich als:

Buch CHF 53.90 E-Book CHF 36.00

CHF 53.90

inkl. MwSt. / portofrei

Ihr eigenes Buch!

Werden Sie Autor*in mit BoD und erfüllen Sie sich den Traum vom eigenen Buch und E-Book.

Mehr erfahren

Beschreibung

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.

Autor/in

Hariolf Betz

Hariolf Betz studied Computer Science and Philosophy at the University of Ulm. Early on, he developed a keen interest in the logical foundations of programming. He was granted a state-funded scholarship to pursue his PhD. He currently works as a software engineer and IT consultant. His professional interests include mathematical modelling, distributed software architecture, natural user interfaces and real-life applications of constraint programming.

Thom Frühwirth (Hrsg.)

Thom Frühwirth is a professor of Computer Science at the University of Ulm, Germany. His research areas are Computational Logic and Constraint Programming. He is the designer of the logical formalism and programming language Constraint Handling Rules.

http://www.constraint-handling-rules.org

Uwe Schöning (Hrsg.)

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.

Pressestimmen

Es sind momentan noch keine Pressestimmen vorhanden.

Rezensionen

Eigene Bewertung schreiben

Bitte melden Sie sich hier an, um eine Rezension abzugeben.