「SECDマシン」の版間の差分
削除された内容 追加された内容
m編集の要約なし |
|||
1行目:
'''SECDマシン'''とは、[[関数型言語]]の[[コンパイラ]]のターゲット（目的機械）を意図し、後に大きな影響を与えた[[仮想機械]]・[[抽象機械]]である。SECD は '''S'''tack（スタック）、'''E'''nvironment（環境）、'''C'''ode（コード）、'''D'''ump（ダンプ）の略であり、それぞれ仮想機械にあるレジスタの名称となっている。これらのレジスタはメモリ上の[[連結リスト]]を指している。
この仮想機械は当初、[[ラムダ計算]]式を評価する目的で設計されたもので、{{要出典範囲|[[1963年]] Peter J. Landin が [[ISWIM]] という言語を設計する作業の一
[[1989年]]、[[カルガリー大学]]の研究者がSECDマシンをハードウェアで実装する研究を行った。
| |||