式の評価

評価の原理

式の標準形への還元

属性

標準評価手順

非標準な評価手順

パターン，規則，定義の評価

反復関数における評価

条件子

ループと制御構造体

評価中に式を集める

評価処理のトレース

評価処理用スタック

無限評価の防止

処理の中断と放棄

式のコンパイル