A source - to - source transformation tool for CHR operational semantics / Ghada Fakhry ; Supervised Slim Abdennadher , Nada Sharaf
Material type:
TextLanguage: English Publication details: Cairo : Ghada Fakhry , 2013Description: 75 Leaves ; 30cmDissertation note: Thesis (M.Sc.) - German University - Faculty of Postgraduate Studies and Scientific Research - Department of Media Engineering and Technology Summary: Constraint handling rules (CHR) is a high - level committed - choice language based on multi - headed and guarded rulos. Over the past decades, several extensions to CHR and variants of operational semantics were introduced. In this thesis, we present a generic approach to simulate the execution of a set of different CHR operational semantics based on the execution model of the operational semantics
| Item type | Current library | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Thesis
|
قاعة الثقاقات الاجنبية - الدور الثالث | المكتبة المركزبة الجديدة - جامعة القاهرة | Cai01.34.M.Sc.2013.Gh.S (Browse shelf(Opens below)) | Not for loan | 01010110063648000 |
Thesis (M.Sc.) - German University - Faculty of Postgraduate Studies and Scientific Research - Department of Media Engineering and Technology
Constraint handling rules (CHR) is a high - level committed - choice language based on multi - headed and guarded rulos. Over the past decades, several extensions to CHR and variants of operational semantics were introduced. In this thesis, we present a generic approach to simulate the execution of a set of different CHR operational semantics based on the execution model of the operational semantics
There are no comments on this title.