MiniMAO1: Investigating the Semantics of Proceed

Clifton, Curtis and Leavens, Gary T. (2005) MiniMAO1: Investigating the Semantics of Proceed. Technical Report 05-01b, Dept. of Computer Science, Iowa State University.

This is the latest version of this eprint.

Abstract

This paper describes MiniMAO₁, a core aspect-oriented calculus. Unlike previous aspect-oriented calculi, it allows around advice to change the target object of an advised operation before proceeding. MiniMAO₁ accurately models the ways AspectJ allows changing the target object, e.g., at call join points. Practical uses for changing the target object using advice include proxies and other wrapper objects.

In addition to accurate modeling of bindings for around advice, MiniMAO₁ has several other features that make it suitable for the study of aspect-oriented mechanisms, such as those found in AspectJ. Like AspectJ, the calculus consists of an imperative, object-oriented base language plus aspect-oriented extensions. MiniMAO₁ has a sound static type system, facilitated by a slightly different form of proceed than in AspectJ.

This paper gives an operational semantics, type system, and proof of soundness for MiniMAO₁.

Available Versions of This Paper

• MiniMAO1: Investigating the Semantics of Proceed (deposited 24 January 2005)
  • MiniMAO1: Investigating the Semantics of Proceed (deposited 16 March 2005) [Currently displayed]