Ralf Lämmel's page on AOP foundations:
Semantics of aspect-oriented programming

My Objective

Study foundations of aspect-oriented programming
(or more generally, aspect-oriented software development)
with some emphasis on semantics of AOP language constructs,
and the relation of AOP to program transformation, meta-programming, reflection.

Results

Adding Superimposition To a Language Semantics
(FOAL'03)

Strategic Programming Meets Adaptive Programming
(AOSD'03, joint work with Eelco Visser and Joost Visser)

A Semantical Approach to Method-Call Interception
(AOSD'02)

Declarative Aspect-Oriented Programming
(ACM Workshop PEPM'99)

Adaptation of functional object programs
(AOP99 @ ECCOP)

Reuse by program transformation
(Book chapter, 1999)

Implemenational models for MCI [.ps]
(Supervised master's thesis C. Stenzel; August 2002)

Links

Jamie Andrews

Gary T. Leavens

Marjan Mernik

Hidehiko Masuhara

Mario Südholt

Mitchell Wand