ビッグステップ意味論
自然意味論
、
関係意味論
とも。
式や文からどうやって結果を直接得るかを記述
⇔
スモールステップ意味論
: 縮約することで式や文を理解する
再帰的に実行することになる
⇔
スモールステップ意味論
: (縮約を)反復することで実行する
大きな式を評価するために小さな部分式をすべて評価し、組み合わせることで答えを出す
参考
『アンダースタンディングコンピュテーション』