情報処理学会 プログラミング研究会
第16回 1997-11-21 会津大学
(16-1) 二分決定グラフを用いた書換え型プログラムの停止性検証器
近藤 久 (茨城大学)，栗原 正仁 (北海道工業大学)
(16-2) キューマシン方式並列関数型言語のコンパイラの効率化
船戸 潤一，中西 正和 (慶應義塾大学)
(16-3) SMP型計算機を活用する軽量プロセス・ライブラリ
小熊 寿，海江田 章裕，森本 浩通，鈴木 貢，中山 泰一 (電気通信大学)
(16-4) 細粒度高並列計算機EM-Xにおける性能チューニングツール
君島 有紀，中西 正和 (慶應義塾大学)
(16-5) 実時間ゴミ集めにおけるルート挿入の効率化
近藤 豪，中西 正和 (慶應義塾大学)
(16-6) スタックの長さを考慮に入れた保守的ごみ集め
萩原 知章，中西 正和 (慶應義塾大学)
(16-7) GNUEmacsへの世代別ごみ集めの実装
小林 広和，寺田 実 (東京大学)