Définition - Que signifie Stack Environment Control Dump Machine (SECD Machine)?
Une machine de vidage de contrôle d'environnement de pile (machine SECD) est une machine abstraite conçue pour la mise en œuvre de la programmation fonctionnelle. Une machine SECD contient des registres "stack control and dump" et ce que les experts appellent un tableau associatif en termes d'environnement, pour aider à la compilation de langages de programmation fonctionnels.
Definir Tech explique Stack Environment Control Dump Machine (SECD Machine)
L'idée de la machine SECD est attribuée à Peter Landon dans son ouvrage «L'évaluation mécanique des expressions» en 1964. Plus récemment, des technologies telles qu'une certaine ramification de Lisp utilisent ce type de conception abstraite de la machine. En tant que technologie basée sur la pile, la machine SECD implique des fonctions prenant un argument de la pile, avec des règles et des protocoles spécifiques pour faciliter ce type de calcul.