CHR in action / Arwa Sayed Alsayed Ismail ; Supervsied Slim Abdennadher
Material type:
TextLanguage: English Publication details: Cairo : Arwa Sayed Alsayed Ismail , 2015Description: 80 Leaves ; 30cmSubject(s): Dissertation note: Thesis (M.Sc.) - German University - Faculty of Postgraduate Studies and Scientific Research - Department of Computer Science Engineering Summary: Constraint handling rules (CHR) has expanded its application range over the past few years to include different algorithms rather than just constraint solvers. Animation of algorithms has been used over the past few decades to aid the understanding of programming languages and how they are processed. In this work, we present a generic form of animating CHR programs using source-to-source transformation. The transformation converts CHR solvers into their equivalent CHR solvers enhanced with animation features, in an automated manner
| Item type | Current library | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Thesis
|
قاعة الثقاقات الاجنبية - الدور الثالث | المكتبة المركزبة الجديدة - جامعة القاهرة | Cai01.34.M.Sc.2015.Ar.C (Browse shelf(Opens below)) | Not for loan | 01010110072274000 |
Thesis (M.Sc.) - German University - Faculty of Postgraduate Studies and Scientific Research - Department of Computer Science Engineering
Constraint handling rules (CHR) has expanded its application range over the past few years to include different algorithms rather than just constraint solvers. Animation of algorithms has been used over the past few decades to aid the understanding of programming languages and how they are processed. In this work, we present a generic form of animating CHR programs using source-to-source transformation. The transformation converts CHR solvers into their equivalent CHR solvers enhanced with animation features, in an automated manner
There are no comments on this title.