SECD-машина

SECD-машина — абстрактная машина, интерпретатор выражений λ-исчисления. Использует четыре стека: S (англ. stack) — стек объектов для вычисления рекурсивных выражений, E (англ. environment) — контекст (отображение идентификаторов в объекты), C (англ. control list) — управляющая строка (список управления), D (англ. dump) — дамп, хранилище предыдущих состояний, используемое для возврата из вызова функций. Интерпретатор предложен в 1964 году Питером Лэндином в статье «The Mechanical Evaluation of Expressions» (механическое вычисление выражений). SECD-машина легла в основу многих практических реализаций функциональных языков программирования (как энергичных, так и ленивых вычислений), хотя и требует оптимизации.