φ-関数移動による効率的な部分的冗長計算除去

スポンサーリンク

概要

論文の詳細を見る
本稿では,二次的効果を含む部分的冗長計算除去の効率的な手法を提案する.本手法は,過去の研究において,同時におこなわれていた等価計算の発見と計算点の決定を分離し,さらに,等価計算の発見をフローグラフとは,独立に行う特徴をもつ.また,本研究において,φ-関数移動と静質問伝播という2つの新しい考えを導入する.φ-関数移動は,異なった場所に定義の結合をもつ式の等価性を露出し,また,制御の流れに依存して等価となる計算式を,フローグラフと独立に見つけ出すことを可能にする.静質問伝播は,付加的代入の導入過多を防ぐために提案された,質問伝播を変形したものであり,データフロー方程式にもとづく効率的な解析を可能とする.
1995-01-27

著者

関連論文

もっと見る

スポンサーリンク