A Unified Analytical Foundation for Constraint Handling Rules

Nonfiction, Computers, Programming, Programming Languages
Cover of the book A Unified Analytical Foundation for Constraint Handling Rules by Hariolf Betz, Books on Demand
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Hariolf Betz ISBN: 9783738669435
Publisher: Books on Demand Publication: January 22, 2015
Imprint: Language: English
Author: Hariolf Betz
ISBN: 9783738669435
Publisher: Books on Demand
Publication: January 22, 2015
Imprint:
Language: English
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.
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
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.

More books from Books on Demand

Cover of the book Machines de Jeux by Hariolf Betz
Cover of the book H. G. Wells Collection by Hariolf Betz
Cover of the book Es lauscht am Stein der Weisen by Hariolf Betz
Cover of the book Mein Leben by Hariolf Betz
Cover of the book Mängelwesen auf dem Mount Improbable by Hariolf Betz
Cover of the book Geistheilung durch sich selbst by Hariolf Betz
Cover of the book Naturwissenschaften vermitteln: Von der frühen Kindheit bis zum Lehrerberuf by Hariolf Betz
Cover of the book Personalbilanz Lesebogen 313 Mittelstand mit Kommunikations-, Wissens- und Planungsplattform by Hariolf Betz
Cover of the book Nili - the hippo with a flat nose by Hariolf Betz
Cover of the book Rolf Torrings Abenteuer und Jörn Farrows U-Boot-Abenteuer by Hariolf Betz
Cover of the book Genug gesegelt? Fahr` Motorboot! by Hariolf Betz
Cover of the book Aventures de John Davys by Hariolf Betz
Cover of the book Revolution der zärtlichen Liebe by Hariolf Betz
Cover of the book Paradies der Sinne by Hariolf Betz
Cover of the book Wahrheit Seelenpartner Teil 1 (Die Phasen) by Hariolf Betz
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy