ビッグステップ意味論

big-step semantics

式や文から完結した結果を直接的に得る

結果を返すだけで、どの様に計算がされたのか、どの実行順序なのかについての直接的証拠は残さない

プログラムを実行する抽象機械には、大きな式を評価するために小さな部分式を全て評価し、それらを組み合わせる再帰(reccursive)機能が必要