A Compilation and Optimization Model for Aspect-Oriented Programs

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.

• Type: Conference
• Year: 2003
• Where: CC
• Authors: Hidehiko Masuhara, Gregor Kiczales, Christopher Dutchyn
• Keywords: Aspect-oriented Programming Language, CC 2003, Programming Languages, Semantics-based Compilation Model, Unnecessary Run-time Checks