Travelled to:
1 × Hungary
1 × Spain
1 × United Kingdom
Collaborated with:
S.Abdennadher T.W.Frühwirth G.Fakhry
Talks about:
sourc (4) chr (3) transform (2) tool (2) anim (2) constraint (1) implement (1) visual (1) toward (1) semant (1)
Person: Nada Sharaf
DBLP: Sharaf:Nada
Contributed to:
Wrote 3 papers:
- LOPSTR-2014-SharafAF #animation #constraints #named
- CHRAnimation: An Animation Tool for Constraint Handling Rules (NS, SA, TWF), pp. 92–110.
- LOPSTR-2013-FakhrySA #implementation #semantics #text-to-text #towards
- Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics (GF, NS, SA), pp. 145–163.
- ICLP-2012-AbdennadherS #text-to-text #visualisation
- Visualization of CHR through Source-to-Source Transformation (SA, NS), pp. 109–118.