Compilation Semantics of Aspect-Oriented Programs (bibtex)

by Hidehiko Masuhara, Gregor Kiczales and Chris Dutchyn

Abstract:

This paper presents a semantics-based compilation framework for an aspect-oriented programming language based on its operational semantics model. Using partial evaluation, the framework can explain several issues in compilation processes, including how to find places in program text to insert aspect code and how to remove unnecessary run-time checks. It also illustrates optimization of calling-context sensitive pointcuts (cflow), implemented in real compilers.

Reference:

Compilation Semantics of Aspect-Oriented Programs (Hidehiko Masuhara, Gregor Kiczales and Chris Dutchyn), In FOAL 2002 Proceedings: Foundations Of Aspect-Oriented Languages, Workshop at AOSD 2002 (Gary T. Leavens, Ron Cytron, eds.), 2002. (revised version in [masuhara2003cc])

Bibtex Entry:

@inproceedings{masuhara2002foal,
  note = {revised version in \cite{masuhara2003cc}},
  author = {Hidehiko Masuhara and Gregor Kiczales and Chris Dutchyn},
  title = {Compilation Semantics of Aspect-Oriented Programs},
  booktitle = {FOAL 2002 Proceedings: Foundations Of Aspect-Oriented Languages, Workshop at AOSD 2002},
  pages = {17--25},
  url = {http://www.eecs.ucf.edu/~leavens/FOAL/index-2002.html},
  year = 2002,
  editor = {Gary T. Leavens and Ron Cytron},
  series = {Technical Report TR{\#}02--06, Department of Computer Science, Iowa State University},
  pdf = {foal2002.pdf},
  month = apr,
  keywords = {AspectJ, Scheme, Aspect sandbox},
  abstract = {This paper presents a semantics-based compilation framework for an aspect-oriented programming language based on its operational semantics model. Using partial evaluation, the framework can explain several issues in compilation processes, including how to find places in program text to insert aspect code and how to remove unnecessary run-time checks. It also illustrates optimization of calling-context sensitive pointcuts (cflow), implemented in real compilers.}
}