Trannsfrming imperative programs to rule-based programs / Frėdėrick Khoury ; Supervised Slim Abdelnnadher
Material type:
Item type | Current library | Home library | Call number | Status | Barcode | |
---|---|---|---|---|---|---|
![]() |
قاعة الثقاقات الاجنبية - الدور الثالث | المكتبة المركزبة الجديدة - جامعة القاهرة | Cai01.34.M.Sc.2009.Fr.T (Browse shelf(Opens below)) | Not for loan | 01010110060238000 |
Browsing المكتبة المركزبة الجديدة - جامعة القاهرة shelves Close shelf browser (Hides shelf browser)
Thesis (M.Sc.) - German University - Faculty of Postgraduate studies and scientific research - Department of Computer Science and Engineering
Constraint Handling Rules (CHR) is a declarative high- level rule - based programming language . CHR which is turing complete is utilized in the development of constraint solvers . Programs developed using CHR consist of multi-headed guarded rules containing conjunctions of constraints . Programs have properties that characterize their operation
There are no comments on this title.