TY  - BOOK
AU  - Frederick Khoury
AU  - Slim Abdelnnadher , 
TI  - Trannsfrming imperative programs to rule-based programs / 
PY  - 2009///
CY  - Cairo : 
PB  - Frederick Khoury , 
N1  - Thesis (M.Sc.) - German University - Faculty of Postgraduate studies and scientific research - Department of Computer Science and Engineering
N2  - 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
UR  - http://172.23.153.220/th.pdf
ER  -