MiniMAO: An imperative core language for studying aspect-oriented reasoning

  title={MiniMAO: An imperative core language for studying aspect-oriented reasoning},
  author={Curtis Clifton and Gary T. Leavens},
  journal={Sci. Comput. Program.},
This paper describes MiniMAO1, a core aspect-oriented language. Unlike previous aspect-oriented calculi and core languages, MiniMAO1 allows around advice to change the target object of an advised operation before proceeding. MiniMAO1 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. MiniMAO1 was designed to serve as a core language for studying… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 28 extracted citations

Essential AOP: The a calculus

ACM Trans. Program. Lang. Syst. • 2012
View 12 Excerpts
Highly Influenced

Execution levels for aspect-oriented programming

AOSD • 2010
View 3 Excerpts
Highly Influenced


Publications referenced by this paper.
Showing 1-10 of 22 references

Harmless advice

View 5 Excerpts
Highly Influenced

Featherweight Java: a minimal core calculus for Java and GJ

ACM Trans. Program. Lang. Syst. • 2001
View 7 Excerpts
Highly Influenced

A Programmer's Reduction Semantics for Classes and Mixins

Formal Syntax and Semantics of Java • 1999
View 6 Excerpts
Highly Influenced

Dantas and David Walker . Harmless advice

S. Daniel

A structural approach to operational semantics

J. Log. Algebr. Program. • 2004
View 1 Excerpt

A typed calculus for aspect oriented programs

Radha Jagadeesan, Alan Jeffrey, James Riely
Available from on February • 2004
View 2 Excerpts

Similar Papers

Loading similar papers…