操作的意味論と評価規則

[Eijiro Sumii]

https://twitter.com/kazu_yamamoto/status/315827949850984450 からの転載＆要約（文責住井）です。

[Q] 図3-1右などにある評価規則が「操作的意味論」ですか？

[A] はい、操作的意味論にもいくつかのスタイルがありますが、本書では主に
図3-1右のような規則で定義される「小ステップ」（一ステップごと）の評価関係→を用います。
（それ以外の操作的意味論のスタイルとしては、演習3.5.17のような大ステップ意味論があります。）
3.4節の(1)（24ページ）や3.5節の冒頭（25ページ）もご参照ください。