2013 年度研究成果報告書

汎用性に優れた型付中間言語

研究課題

研究課題/領域番号	23650013
研究種目	挑戦的萌芽研究
配分区分	基金
研究分野	ソフトウエア
研究機関	九州工業大学
研究代表者	八杉昌宏九州工業大学, 大学院情報工学研究院, 教授 (30273759)
研究期間 (年度)	2011 – 2013
キーワード	型付中間言語 / 低水準言語 / プログラミング言語処理系 / 型検査 / 多次元配列 / 循環データ構造 / 高性能計算
研究概要	本研究は、仮想機械のRISC化を目標に汎用性と高速性を持つ型付中間言語の設計に挑んだ。低水準命令列に関する既存の依存型による型検査技法をベースとし、ビットレベル操作におけるfixnumの実現とシフト命令への対応を目標に場合依存型という新しい概念と二分決定グラフ(BDD)を、オブジェクトの初期化における循環データ構造への対応を目標にprovisional assumptionsという新しい概念を、高速な多次元配列操作への構造的対応を目標に添え字計算に関する新しい述語を、それぞれ検討できた。

(3件)