万能高位合成と新型データフロー計算機構

従来の高位合成は、固定サイズの配列、構造体等静的なデータ構造を使ったプログラムを合成するだけであった。
万能高位合成は動的データ構造や再起関数等、ヒープ領域やスタック領域を利用したプログラムも合成可能である。

東京大学 若林 一敏氏
東京大学
システムデザイン研究センター
上席研究員(senior fellow)
若林 一敏 (わかばやし かずとし)