A theory of aspects

9 years 12 months ago
A theory of aspects
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its compact, well-defined core language. We argue that our framework is an effective way to give semantics to aspectoriented programming languages in general because the translation eliminates shallow syntactic differences between related constructs and permits definition of a clean, easy-tounderstand, and easy-to-reason-about core language. The core language extends the simply-typed lambda calth two central new abstractions: explicitly labeled program points and first-class advice. The labels serve both to trigger advice and to mark continuations that the advice may return to. These constructs are defined orthogonally to the other features of the language and we show that our abstractions can be used in both functional and object-oriented contexts. The labels are well-scoped and the language as a whole is well-t...
David Walker, Steve Zdancewic, Jay Ligatti
Added 13 Dec 2009
Updated 13 Dec 2009
Type Conference
Year 2003
Where ICFP
Authors David Walker, Steve Zdancewic, Jay Ligatti
Comments (0)