研究課題
基盤研究(C)
文脈指向プログラミング（COP）は文脈によって変化する振る舞いをモジュール化し、統制された方法でそれらを切り替える方法を提供する。本研究では、数多くのものが乱立していたCOPの言語機構を整理し、COP機構をソフトウェア開発の中でどのように用いていくべきかを明らかにしたソフトウェア開発方法論と、それに基づいて設計した、既存のCOP機構を一般化・包含する新たなCOP言語を実現した。またその言語仕様を理論レベルで厳密に定義し、言語実現上の諸問題をそれに基づいて解決した。
ソフトウェア科学
