论文信息 - A Framework for Defining and Compiling User-Defined Program Analysis in AOP

A Framework for Defining and Compiling User-Defined Program Analysis in AOP

void loadAllRequiredClasses() 現在ロードされているクラスを含む推移的参照閉包を計算し,含まれる全てのクラスをロードする void initialize(Config) Config情報に基づきロードパスの設定,推移的参照閉包の計算及びその閉包に含まれるクラスのロードを行う. abstract String[] getBTCAvoids() 束縛時検査を回避するパッケージ名を取得する表 1: abstract class Connector boolean isPreferredAcquaintance( JoinPoint.StaticPart ejp, JoinPoint tjp){

Hidehiko Masuhara | Tomoyuki Aotani

[1] Michael Eichberg,et al. Pointcuts as Functional Queries , 2004, APLAS.

[2] Hidehiko Masuhara,et al. A Compilation and Optimization Model for Aspect-Oriented Programs , 2003, CC.

[3] Stefan Hanenberg,et al. Evolvable Pattern Implementations Need Generic Aspects , 2004, RAM-SE.

[4] David F. Bacon,et al. Fast static analysis of C++ virtual function calls , 1996, OOPSLA '96.

[5] William G. Griswold,et al. An Overview of AspectJ , 2001, ECOOP.

[6] Karl J. Lieberherr,et al. Assuring good style for object-oriented programs , 1989, IEEE Software.

[7] Hidehiko Masuhara,et al. Compiling Conditional Pointcuts for User-Level Semantic Pointcuts , 2005 .

[8] Kris Gybels,et al. Arranging language features for more robust pattern-based crosscuts , 2003, AOSD '03.

[9] Karl J. Lieberherr,et al. A case for statically executable advice: checking the law of demeter with AspectJ , 2003, AOSD '03.

[10] Ondrej Lhoták,et al. abc : An Extensible AspectJ Compiler , 2006, LNCS Trans. Aspect Oriented Softw. Dev..

[11] Peter Sestoft,et al. Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.

[12] Kris De Volder. Aspect-Oriented Logic Meta Programming , 1998, ECOOP Workshops.

[13] Shigeru Chiba,et al. Josh: an open AspectJ-like language , 2004, AOSD '04.