Towards expressive, well-founded and correct Aspect-Oriented Programming
This thesis aims at two different goals. First, a uniform presentation of the major relevant research results on EAOP-based expressive aspects. We motivate that these instantiations enable aspects to be defined more concisely and provide better support for formal reasoning over AO programs than stand...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université de Nantes
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00486842 http://tel.archives-ouvertes.fr/docs/00/48/68/42/PDF/hdr.pdf |