A Compilation and Optimization Model for Aspect-Oriented Programs (bibtex)

by Hidehiko Masuhara, Gregor Kiczales and Chris Dutchyn

Abstract:

This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model 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:

A Compilation and Optimization Model for Aspect-Oriented Programs (Hidehiko Masuhara, Gregor Kiczales and Chris Dutchyn), In Proceedings of 12th International Conference on Compiler Construction (CC2003), volume 2622, 2003.

Bibtex Entry:

@inproceedings{masuhara2003cc,
  author = {Hidehiko Masuhara and Gregor Kiczales and Chris Dutchyn},
  pdf = {cc2003.pdf},
  title = {A Compilation and Optimization Model for Aspect-Oriented Programs},
  booktitle = {Proceedings of 12th International Conference on Compiler Construction (CC2003)},
  doi = {10.1007/3-540-36579-6_4},
  url = {http://fileadmin.cs.lth.se/cs/Personal/Gorel_Hedin/cc03/},
  pages = {46--60},
  year = 2003,
  volume = 2622,
  series = {Lecture Notes in Computer Science},
  annote = {http://link.springer.de/link/service/series/0558/tocs/t2622.htm},
  acceptanceratio = {21/83 (25%)},
  keywords = {AspectJ, Aspect sandbox, Scheme},
  abstract = {This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model 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.}
}