Clifton, Curtis, Leavens, Gary T. and Wand, Mitchell (2003) Parameterized Aspect Calculus: A Core Calculus for the Direct Study of Aspect-Oriented Languages. Technical Report 03-13, Dept. of Computer Science, Iowa State University.
Formal study of aspect-oriented languages is difficult because
current theoretical models provide a range of features
that is too limited and rely on encodings using lower-level
abstractions, which involve a cumbersome level of indirection.
We present a calculus, based on Abadi and Cardelli’s
object calculus, that explicitly models a base language and
a variety of point cut description languages. This explicit
modeling makes clear the aspect-oriented features of the calculus
by removing the indirection of some existing models.
We demonstrate the generality of our calculus by presenting
models for AspectJ’s open classes and advice, and HyperJ’s
compositions, and sketching a model for DemeterJ’s adaptive
|Keywords:||Parameterized aspect calculus, object calculus, join point
model, point cut description language, aspect-oriented programming,
AspectJ, advice, HyperJ, hyperslices, DemeterJ,
|Subjects:||Software: PROGRAMMING LANGUAGES: Formal Definitions and Theory (D.2.1, F.3.1-2, F.4.2-3)|
Software: PROGRAMMING LANGUAGES: Language Classifications
Software: PROGRAMMING LANGUAGES: Language Constructs and Features (E.2)
|Deposited by:||Curtis Clifton on 12 November 2003|
Contact site administrator at: firstname.lastname@example.org