Travelled to:1 × Germany
Collaborated with:D.Rayside F.Leung A.Yuen K.Xu D.Jackson
Talks about:function (1) bordeaux (1) abstract (1) synthes (1) pattern (1) outsid (1) declar (1) think (1) model (1) debug (1)
Person: Vajih Montaghami
DBLP: Montaghami:Vajih
Contributed to:
2015
2012
2017Wrote 3 papers:
- MoDELS-2015-MontaghamiR #debugging #declarative #modelling
- Pattern-based debugging of declarative models (VM, DR), pp. 322–327.
- GPCE-2012-RaysideMLYXJ #abstraction
- Synthesizing iterators from abstraction functions (DR, VM, FL, AY, KX, DJ), pp. 31–40.
- FASE-2017-MontaghamiR #named
- Bordeaux: A Tool for Thinking Outside the Box (VM, DR), pp. 22–39.