再実体化
再実体化は、 の考え方を用いて各変数を計算する式を監視することによって動作する。ある値を計算するために用いられる変数は変更されることもあり、その場合にはもはや値の再実体化に使用することができない。このとき、その式は利用可能でないと呼ばれる。もう一つの条件として、例えば値の再実体化を行う式の複雑さの最大値がある。ロードする以上に時間のかかる非常に複雑な計算を行って再実体化を行うのは望ましくない。通常は式に副作用があってはならない。