文章基本信息

标题：アドバイスの安全な実行のためのアスペクト指向プログラミング言語の型システム
本地全文：下载
作者：青谷知幸 ; 増原英彦
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2009
卷号：26
期号：2
页码：2_170-2_182
DOI：10.11309/jssst.26.2_170
出版社：Japan Society for Software Science and Technology
摘要：
AspectJをはじめとする多くのアスペクト指向プログラミング言語では，ポイントカット定義を誤った結果，アドバイスが実行されなかったり，想定と異なるジョインポイントの上で実行されることがある．本稿では型システムによってこれら問題の解決を目指す．この型システムはポイントカット内の矛盾と複数のポイントカットの間の矛盾の両方を発見する点が特徴である．本稿では型定義と型規則を示し，いくつかの基本的な誤りを発見できることを確認した．