研究課題
特別研究員奨励費
アスペクト指向プログラミング(AOP)の安全性と表現力の向上を目的に研究を行い、1柔軟な暗黙の型変換をAOPの提案、2分散システムにおけるセキュリティ・ポリシー記述のためのAOP言語AspectKE^*の設計と言語処理系の実装、3安全かつ柔軟なAOPを実現すStrongRelaxAJの提案を行った。暗黙の型変換を利用すると、異なる2つのライブラリを自然に統合でき、また組み込み領域特化言語(EDSL)で書かれるプログラムの可読性が上がるという利点があるが、暗黙の型変換が適用される条件が言語設計者によって定められており、ユーザーが自由に拡張することができなかった。本研究ではAOPを応用して、ユーザーが適用条件を自由に拡張できる暗黙の型変換を実現する方式を提案し、11月17日にオークランドで開催された国際ワークショップAOAsia5で発表した。AspectKE^*は分散システムの作成のためのプログラミング言語である。プログラマはパスワードの漏洩などをプログラム解析の結果を利用することで防ぐことができる。一般にプログラム解析は複雑で扱いづらいが、AspectKE^*ではプログラム解析を容易に行うための函数を提供することでこの問題を解決している。研究成果をまとめた論文は国際ワークショップACP41Sに採択され、ワークショップ議事録に収録された。StrongRelaxAJはJavaをベースとして作られたAOP言語AspectJの拡張である。AspectJは型安全でなく、また柔軟性に欠けていることが先行研究で個別に指摘され、解決されてきた。StrongRelaxAJはこれらの研究成果を統合して、安全かつ柔軟なプログラムを書けるようにしたものである。言語設計を説明した論文は国際ワークショップFOALに採択され、ワークショップ議事録に収録された。
すべて 2010 2009 その他
すべて 雑誌論文 (3件) (うち査読あり 3件) 学会発表 (2件) 備考 (3件)
Proceedings of the 9th Workshop on Foundations of Aspect-Oriented Languages(FOAL'10) 9
ページ: 1-5
Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software(ACP4IS'10) 9
ページ: 27-31
コンピュータソフトウェア (採録確定・印刷中)
130004892132
http://www.graco.c.u-tokyo.ac.jp/ppp
http://www.graco.c.u-tokyo.ac.jp/ppp/projects/typo
http://www.graco.c.u-tokyo.ac.jp/ppp/projects/scope