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 70 citations. REVIEW CITATIONS


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

70 Citations

Citations per Year
Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.


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

Harmless advice

View 4 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