Leonardo Cole

Latest

• Proving aspect-oriented programming laws
• Deriving refactorings for AspectJ