操作的意味論
いわゆるVMとかのアレ
雑なのでちゃんとやるwint.icon
要は interpreter を形式的に表現してる。
要素
式: 結果がある。環境を変えない（副作用なし）。
文: 結果がない。環境を変える（副作用あり）。
部分に式はある。
分類
small-step semantics
実行プロセスは反復 (iterative)
iteration
step by step
式と文を区別する
big-step semantics
実行プロセスは再帰 (recursive)
recursion
全体を再帰的な式だと思う。
一足飛びに結果まで行く。ADT全体を捜査する。
reduction semantics
ja: 簡約意味論
use: reduction context
ja: 簡約文脈
参考
SOS: Structured Operational Semantics
https://twitter.com/Kory__3/status/1443770561285427206
ぱそこんわからんねこ(@Kory__3)
操作的意味論を書く時に前提、横線と規則名、評価規則、みたいな感じで書くやつ、Plotlin's Structured Operational Semantics (SOS)って言われてるらしい 初めて知った
Understanding Computation
Ruby で VM を実装してる。
Understanding Computation