SECD machine

GPTKB entity

Statements (25)
Predicate Object
gptkbp:instanceOf abstract machine
gptkbp:abbreviation Stack, Environment, Control, Dump
gptkbp:category computer science
functional programming
abstract machines
gptkbp:describedBy The Mechanical Evaluation of Expressions (Landin, 1964)
gptkbp:designedBy gptkb:Peter_J._Landin
gptkbp:hasComponent gptkb:Dump
Control
Environment
Stack
https://www.w3.org/2000/01/rdf-schema#label SECD machine
gptkbp:influenced gptkb:Scheme
ML
Lisp implementation
gptkbp:introducedIn 1964
gptkbp:notableFor first abstract machine for functional languages
gptkbp:supports gptkb:lambda_calculus
lexical scoping
closures
gptkbp:usedFor implementing functional programming languages
gptkbp:bfsParent gptkb:Peter_Landin
gptkb:Peter_J._Landin
gptkb:Krivine_machine
gptkbp:bfsLayer 7