Travelled to:
1 × India
1 × United Kingdom
Collaborated with:
M.Debbabi D.Alhadidi P.Bhattacharya
Talks about:
pointcut (1) calculus (1) static (1) formal (1) extend (1) aspect (1) weav (1) aop (1)
Person: Nadia Belblidia
DBLP: Belblidia:Nadia
Contributed to:
Wrote 2 papers:
- SEFM-2007-AlhadidiBDB #aspect-oriented #λ-calculus
- An AOP Extended λ-Calculus (DA, NB, MD, PB), pp. 183–194.
- SEFM-2006-BelblidiaD #aspectj #formal method #weaving
- Formalizing AspectJ Weaving for Static Pointcuts (NB, MD), pp. 50–59.