アドバイスの安全な実行のためのアスペクト指向プログラミング言語の型システム

抄録

AspectJをはじめとする多くのアスペクト指向プログラミング言語では，ポイントカット定義を誤った結果，アドバイスが実行されなかったり，想定と異なるジョインポイントの上で実行されることがある．本稿では型システムによってこれら問題の解決を目指す．この型システムはポイントカット内の矛盾と複数のポイントカットの間の矛盾の両方を発見する点が特徴である．本稿では型定義と型規則を示し，いくつかの基本的な誤りを発見できることを確認した．