Máquina de despejo de controle de ambiente de pilha (máquina secundária)

Definição - O que significa Stack Environment Control Dump Machine (SECD Machine)?

Uma máquina Stack Environment Control Dump (máquina SECD) é uma máquina abstrata feita para a implementação de programação funcional. Uma máquina SECD contém registros de "controle e despejo de pilha" e o que os especialistas chamam de array associativo em termos de ambiente, para ajudar na compilação de linguagens de programação funcionais.

Definirtec explica a máquina de despejo de controle de ambiente de pilha (máquina SECD)

A ideia da máquina SECD é atribuída a Peter Landon em seu trabalho “The Mechanical Evaluation of Expressions” em 1964. Mais recentemente, tecnologias como um certo desdobramento do Lisp utilizam esse tipo de design abstrato de máquina. Por ser uma tecnologia baseada em pilha, a máquina SECD envolve funções retirando um argumento da pilha, com regras e protocolos específicos para facilitar esse tipo de computação.