Formalizing AspectJ Weaving for Static Pointcuts.

Nadia Belblidia, Mourad Debbabi

Browse the full SEFM paper archive.