Use-define chain とは

Use-Definition Chain(UD Chain)は、他の介在する定義なしでその使用に達することができる、変数の使用Uとその変数のすべての定義Dからなるデータ構造です。定義には多くの形式がありますが、一般的には変数にある値を割り当てることを意味しています(これは、データ型を含む言語構造を参照して記憶域を割り当てる用語とは異なります)。
UDチェーンの対応物は、変数の定義Dと、他の介在する定義なしでその定義から到達可能なすべての用途Uとからなる定義使用チェーン(DUチェーン)である。
UDチェーンとDUチェーンの両方は、データフロー分析と呼ばれる静的コード分析の形式を使用して作成されます。プログラムやサブプログラムのuse-defおよびdef-useチェーンを知ることは、定数の伝播や共通部分式の削除を含む多くのコンパイラの最適化の前提条件です。