Table des matières:
- Définition - Que signifie Stack Environment Control Dump Machine (SECD Machine)?
- Techopedia explique Stump Environment Control Dump Machine (SECD Machine)
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 "contrôle de pile et vidage" et ce que les experts appellent un tableau associatif en termes d'environnement, pour aider à la compilation de langages de programmation fonctionnels.
Techopedia explique Stump Environment Control Dump Machine (SECD Machine)
L'idée de la machine SECD est attribuée à Peter Landon dans son travail «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 de machine abstraite. 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.
