Índice:
- Definição - O que significa Stack Environment Control Dump Machine (SECD Machine)?
- Techopedia explica Máquina de despejo de controle de ambiente de pilha (Máquina SECD)
Definição - O que significa Stack Environment Control Dump Machine (SECD Machine)?
Uma máquina de despejo de controle de ambiente de pilha (máquina SECD) é uma máquina abstrata feita para a implementação da programação funcional. Uma máquina SECD contém registros "controle de pilha e despejo" e o que os especialistas chamam de matriz associativa em termos de ambiente, para ajudar na compilação de linguagens de programação funcionais.
Techopedia explica Máquina de despejo de controle de ambiente de pilha (Máquina SECD)
A idéia da máquina SECD é atribuída a Peter Landon em seu trabalho "A avaliação mecânica de expressões", em 1964. Mais recentemente, tecnologias como uma ramificação de Lisp utilizam esse tipo de design abstrato de máquina. Como uma tecnologia baseada em pilha, a máquina SECD envolve funções que utilizam um argumento da pilha, com regras e protocolos específicos para facilitar esse tipo de computação.