Proving aspect-oriented programming laws

Leonardo Cole, Alexandre Mota, Paulo Borba

2005

Type

Publication

4th Foundations of Aspect-Oriented Languages Workshop (FOAL 2005), 4th ACM International Conference on Aspect-Oriented Software Development (AOSD 2005)