抽象機械
プロセスVMとは別物っぽいがよくわかってない
https://ja.wikipedia.org/wiki/抽象機械
RAMをさらに特定のプログラミング言語の実行のための機能を追加した抽象機械
『(理論)12 計算モデルの基礎理論』.icon2章の最後に出てきたキーワードたち↓
なお、本当にキーワードだけなので↑この本を読み返しても意味ないmrsekut.icon
『(環境)5 プログラミング言語処理系』を読むと良いよ、って書いてたmrsekut.icon
Pascal言語のPCODE(移植コード)
BCPL言語のOCODE(対象コード)
ISWIM言語のためのSECD機械
↑関数型
PrologのためのWAM(Warren抽象機械)