2.2 Structural operational semantics SEMANTICS WITH APPLICATIONSA Formal Introduction Chapter 3 Provably Correct Implementation プログラム意味論の形式的な特質は、 プログラムを実行するにあたって役に立つ。 特に、実行の正しさについて議論する…