SECD抽象机

面议

参数

SECD抽象机产品特性
SECD品名
SECD牌号

发货地广东东莞 1天内发货供货总量1000000千克

东莞市旺特金属材料有限公司: 进入店铺在线咨询

SECE宝钢面议

SKS3模具钢面议

secc板材面议

sgcc镀锌吕面议

SPHC.SPHD.SPHE热轧酸洗冲压汽车钢面议

SPHD汽车钢面议

产品详情

SECD 机是非常有影响的意图作为函数式编程语言编译器目标的虚拟机。SECD 分别是这个机器的内部寄存器的名字的首字母：Stack, Environment, Code, Dump。这些寄存器指向在内存中链表。

这种机器最初明确设计用来计算 lambda 演算表达式。最初 Peter J. Landin 在1963年把它作为他的 ISWIM编程语言定义的一部分描述。Landin 出版的描述非常抽象，（象一种操作语义那样）留下很多实现选择开放着。所以 SECD 机经常以更具体的形式出现，比如 Peter Henderson 的 Lispkit Lisp 编译器，它自1980年开始发行。此后它已经被用做多个其他实验编译器的目标。

在1989年在卡尔加里大学的研究者制作了这种机器的一个硬件实现。

为您推荐