値グラフを用いた命令言語のための型推論アルゴリズムの提案 - 児玉, 靖司 (日本ソフトウェア科学会大会講演論文集, 2002)