第４回プログラミングおよびプログラミング言語サマースクール (PPL Summer School 2006) 田辺担当分「述語抽象化によるアルゴリズムの検証 〜 シェープ解析を例として」 資料のアップデート版が，ダウンロードできます．
2006.09.12更新 PDF, パワーポイント: 9/12当日投影した版です． 配布資料の版から更新されています．