1.1.5 The Substitution Model for Procedure Application Flashcards
1
Q
the substitution model
A
A model in which compound procedures are applied to arguments by evaluating the body of the procedure with each formal parameter replaced by the corresponding argument.
2
Q
The “fully expand and then reduce” evaluation method
A
normal-order evaluation
3
Q
The “evaluate the argument and then apply” evaluation method
A
applicative-order evaluation
4
Q
The evaluation method that Lisp uses because of the additional efficiency obtained from avoiding multiple evaluations of expressions and more significantly, because normal-order evaluations become much more complex to deal with when we leave the realm of procedures that can be modeled by substitution.
A
applicative-order evaluation
