Key points are not available for this paper at this time.
本論文では、前向きまたは後向き単調データフロー問題のための疎評価グラフを構築するアルゴリズムを提示します。疎グラフは、情報をできるだけ早く結合し、情報を生成し使用するノードを直接接続します。これにより、単調データフロー問題という大規模な一般クラスからの問題が、静的単一割り当て(SSA)形式に基づく解の利点を享受できるようになります。1
Choi et al. (火曜日)はこの問題を研究しました。