具有对标识符的系统性改变的变量捕获。这种方法被加入到了Algol 60实现之中，但是在函数是头等公民的函数式编程语言之中，自由变量在调用栈上可能被错误的解引用。Turner注意到Landin通过他的SECD机解决了这个问题，在这个机器中函数转而通过在堆中的闭包来表示。
非正式描述.在开始求值一个表达式的时候，这个表达式被装载为控制codice_1的唯一元素。环境codice_2、堆栈codice_3转储codice_4开始时为空。在codice_1的求值期间，表达式被转换成