SECD抽象机 SECD机是有高度影响力的一种虚拟机和抽象机器它意图用作函数式编程语言编译器的编译目标四个字母分别表示StackEnvironmentControlDump它们是这个机器的内部寄存器寄存器StackControl和Dump指向堆栈的某种实现而Environment指向关联数组的某种实现 这个机器是第一个专门设计用来求值lambda演算表达式的机器它最初描述于Peter J Landin的年论文表达式的机器求值中Landin发表的描述非常抽象留下了很多实现选择待定就像一种操作语义因此SECD机经常以一种更具体的形式出现比如Peter Henderson的LispKit Lisp编译器它自从年开始发行自此它已经被用作了一些其他的实验编译器的目标 在年卡尔加里大学的研究者制作了这个机器的一个硬件实现