「L-Closure：高性能・高信頼プログラミング言語の実装向け言語機構」

［論文概要］

　本研究では拡張C言語の仕様として入れ子関数を利用して呼出し元に眠る変数の値への安全で正式なアクセスを可能とするL-closureという新しい言語機構を提案した．本拡張C言語を高水準コンパイラの中間言語に用いれば，負荷分散やごみ集めなど計算中のソフトウェアの動的な再構成・メインテナンスが効率良く実現できる．L-closureの実装技術としては，初期化や保存を呼出しまで遅延させることで，クロージャ生成コストを削減し，アクセスされる変数へのレジスタ割当てを可能とした．本論文ではまた，GNU C コンパイラの拡張によるL-closureの実装の詳細を示した．



［推薦理由］

　当該論文は，実行中のプログラムがその実行スタックの内容に関する閲覧・変更を合法的に行うことを可能とする言語機能"L-closure"を提案するものである．この言語機能により拡張したC言語 XC-Cube を新たに提案し，GCC C コンパイラを基に実装をおこなった．また，その評価においては，L-closureの複数の実装について性能評価がおこなわれ，L-closureのもつ生成・維持コストの削減という利点が示されている．当該論文では，提案の言語機能に学術的新規性があるという点の他にも，新規性のある言語機能の提唱に始まり，処理系の設計と実装，そして，性能評価に至る記述が詳細になされており，この分野における論文の構成としては模範をなすものとなっている．このような理由により，当該論文は論文賞受賞に値するものと判断した．