Patrick Lam, Viktor Kuncak, Martin C. Rinard. Crosscutting techniques in program specification and analysis. In Mira Mezini, Peri L. Tarr, editors, Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD 2005, Chicago, Illinois, USA, March 14-18, 2005. pages 169-180, ACM, 2005. [doi]
Abstract is missing.