netail.net

_ 論文 ▲

輪講で使った論文：Damien Sereni, Oege de Moor:``Static Analysis of Aspects'',Proceedings of AOSD 2003.コールグラフを構築して，呼び出し関係の正規表現に直して，Pointcut 定義との包含関係を取ったらアドバイスを静的に結合できるね，という話．正規表現との包含関係については，Chip-Chop Matrix というものを使って計算できるらしい．Oege de Moor, Stephen Drape, David Lacey and Ganesh Sittampalam:``Incremental Program Analysis via Language Factors''という論文に載っていた．もし使うことがあれば見ることにしよう．また，正規表現を生成する Tarjan のアルゴリズムというのも使われている．ポインタだけメモ．R.E.Tarjan: ``Fast algorithms for solving path problems'',Journal of the Association for Computing Machinery, 28(3):594-614, 1981

とりあえず，静的解析コストが高くて（正規表現の包含関係のテストが重い）スケーラビリティがあやしいというのだけは確かだが，予備知識へのポインタが色々あって面白い．

_ AOP ▲

AOPでは，ソースをカット＆ペーストした場合に，その位置の join point が違うからアスペクトの動作が変わってしまってプログラムがうまく動かなくなる場合があるよね，という話をAspectJ-Users ML に Tim Pedone という人が投稿していた．実は，けっこう重要な話かも．「どこにアスペクトが貼りついてるかを常に意識する」のを開発環境でフォローするときの動機のひとつとして使わせてもらうことになりそう．