generated at
抽象機械
プロセスVMとは別物っぽいがよくわかってない
RAMをさらに特定のプログラミング言語の実行のための機能を追加した抽象機械


『(理論)12 計算モデルの基礎理論』2章の最後に出てきたキーワードたち↓
なお、本当にキーワードだけなので↑この本を読み返しても意味ないmrsekut
『(環境)5 プログラミング言語処理系』を読むと良いよ、って書いてたmrsekut
Pascal言語のPCODE(移植コード)
BCPL言語のOCODE(対象コード)
ISWIM言語のためのSECD機械
↑関数型
PrologのためのWAM(Warren抽象機械)