抽象実行 そのフレームワークと実例(その2)

抄録

関数型言語の抽象実行のフレームワークとして,領域抽象化による順方向実行と逆方向実行についてストリクトネス解析を例として説明する.さらにそれらを統一的に扱う4つのパラメータについて説明し,計算経路解析をそのパラメータ表現に基づき表す(1章).次に逆方向実行であるプロジェクション解析を説明し,計算経路解析と比較する(2章).最後にper (Partial Equivalence Relation)による順方向実行の抽象実行を説明し,プロジェクション解析や計算経路解析と比較する(3章).