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.
Citations
|
695
|
The Art of the Metaobject Protocol
– Kiczales, Rivires, et al.
- 1991
|
|
653
|
An overview of AspectJ
– Kiczales, Hilsdale, et al.
|
|
181
|
Getting started with AspectJ
– Kiczales, Hilsdale, et al.
- 2001
|
|
87
|
A formal definition of crosscuts
– Douence, Motelet, et al.
|
|
68
|
Using aspectc to improve the modularity of path-specific customization in operating system code
– Coady, Kiczales, et al.
- 2001
|
|
67
|
Improving binding times without explicit cps-conversion
– Bondorf
- 1992
|
|
45
|
Partial evaluation of computation process—an approach to a compiler-compiler
– Futamura
- 1971
|
|
43
|
Process-algebraic foundations of aspect-oriented programming
– Andrews
- 2001
|
|
43
|
Polyvariant mixed computation for analyzer programs
– Bulyonkov
- 1984
|
|
37
|
Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation
– Masuhara, Matsuoka, et al.
|
|
12
|
Duplication and partial evaluation —for a better understanding of reflective languages
– Asai, Matsuoka, et al.
- 1996
|
|
2
|
Joon Suan Ong. Structuring operating system aspects: using AOP to improve OS structure modularity
– Coady, Kiczales, et al.
- 2001
|
