Stack Environment Control Dump machine

(SECD machine) The first abstract machine for reducinglambda-calculus expressions, invented by P. J. Landin. Themachine has four registers holding pointers to linked lists operated as push-down stacks which hold theinformation required for the evaluation of an expression. Theregisters point to (1) Stack which holds the arguments ofpartially evaluated expressions and results of completelyevaluated ones, (2) Environment where the current expressionbeing evaluated is stored, (3) Control which holds the machineinstructions that manipulate the contents of the fourregisters that represent the expression being evaluated, (4)Dump on which the state of the machine is temporarily savedduring the evaluation of expressions. See also Lispkit.

单词	stack environment control dump machine
释义	Stack Environment Control Dump machine Stack Environment Control Dump machine (SECD machine) The first abstract machine for reducinglambda-calculus expressions, invented by P. J. Landin. Themachine has four registers holding pointers to linked lists operated as push-down stacks which hold theinformation required for the evaluation of an expression. Theregisters point to (1) Stack which holds the arguments ofpartially evaluated expressions and results of completelyevaluated ones, (2) Environment where the current expressionbeing evaluated is stored, (3) Control which holds the machineinstructions that manipulate the contents of the fourregisters that represent the expression being evaluated, (4)Dump on which the state of the machine is temporarily savedduring the evaluation of expressions. See also Lispkit.
随便看	solicitor-advocates solicitor at law solicitor/client privilege solicitor general solicitor-general solicitor general for scotland solicitor-general for scotland solicitor general of canada solicitor of the treasury solicitors solicitors accounts rules solicitors general solicitorship solicitous solicitously solicitousness solicitress solicits solicits for solicits her for solicits him for solicits me for solicits one for solicits them for sali