SECD机是有高度影响力的一种虚拟机和抽象机器，它意图用作函数式编程语言编译器的编译目标。四个字母分别表示：Stack、Environment、Control、Dump，它们是这个机器的内部寄存器。寄存器Stack、Control和Dump指向堆栈（的某种实现），而Environment指向关联数组（的某种实现）。 这个机器是第一个专门设计用来求值lambda演算表达式的机器。它最初描述于Peter J. Landin的1964年论文《表达式的机器求值》中。Landin发表的描述非常抽象，留下了很多实现