(SECD machine) The first abstract machine for reducing lambda-calculus expressions, invented by P. J. Landin. The machine has four registers holding pointers to {linked list}s operated as push-down {stack}s which hold the information required for the evaluation of an expression. The registers point to (1) Stack which holds the arguments of partially evaluated expressions and results of completely evaluated ones, (2) Environment where the current expression being evaluated is stored, (3) Control which holds the machine instructions that manipulate the contents of the four registers that represent the expression being evaluated, (4) Dump on which the state of the machine is temporarily saved during the evaluation of expressions. See also Lispkit.

In addition suitable contents:
[ 2 ] [ = ] [ abstract machine ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ arg ] [ argument ] [ as ] [ at ] [ av ] [ b ] [ bd ] [ be ] [ bs ] [ by ] [ C ] [ ca ] [ CD ] [ ch ] [ ci ] [ ck ] [ co ] [ com ] [ complete ] [ con ] [ cu ] [ current ] [ D ] [ ding ] [ do ] [ down ] [ du ] [ E ] [ ed ] [ edu ] [ ee ] [ eg ] [ er ] [ era ] [ es ] [ et ] [ evaluation ] [ expression ] [ fi ] [ file ] [ fo ] [ for ] [ gi ] [ gu ] [ h ] [ hat ] [ hr ] [ id ] [ il ] [ in ] [ int ] [ io ] [ ir ] [ iron ] [ is ] [ it ] [ J ] [ ke ] [ ki ] [ kit ] [ la ] [ lambda-calculus ] [ lc ] [ ld ] [ Lex ] [ li ] [ link ] [ linked list ] [ Lisp ] [ Lispkit ] [ list ] [ ls ] [ lt ] [ lu ] [ ly ] [ ma ] [ machine ] [ man ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ ne ] [ nf ] [ ng ] [ ni ] [ ns ] [ om ] [ op ] [ pa ] [ pe ] [ ph ] [ pk ] [ pl ] [ point ] [ pointer ] [ pr ] [ push ] [ query ] [ rc ] [ re ] [ register ] [ ro ] [ ru ] [ S ] [ sa ] [ save ] [ SE ] [ se ] [ SEC ] [ SECD machine ] [ sh ] [ si ] [ so ] [ st ] [ stack ] [ state ] [ store ] [ struct ] [ su ] [ T ] [ th ] [ to ] [ tr ] [ ua ] [ um ] [ us ] [ va ] [ ve ] [ vi ]