『計算機プログラムの構造と解釈』で触れられていた評価モデルについて書かれていたので、自分用の備忘録としてまとめておきます。

作用順序評価というものを採用している。作用順序評価は手続き的様式の手続き引数を順に評価してから、手続きを評価するモデル。引数の順番を置き換え可能にできる。

この置き換えモデルは、シンボルと値の結びつきが変化せず、式が値を返すためだけに使われるという前提の元では、シンプルにプログラムの振る舞いを検証できるわけです。

引数を評価する順番が不定のため、引数を評価する順番が重要となる場合には不都合が生じる。

順序や時間という概念を取り扱うことができるモデルの一つは、環境フレームモデルです。