評価モデル

計算の様子を理解するためにはどうすればいいだろうか？

計算機で実際に動かす

何をやってるかは分かるだろうけど、ある特定のプログラムに関してしか使えない方法だ。計算一般で使えるような方法はないか？

機械語を追って計算機をシミュレート

あまりにも低水準で分かりづらい！

低水準なところにとらわれずに、広く使える方法（以下、評価モデル）があったらいいな！...ということで、次の2つの方法が紹介されている。

• 置き換えモデル
• 環境フレームモデル