University
of Washington • CSE583 • D. Notkin © 2000
80
Reduction order
lA normal-order reduction sequentially applies the leftmost available reductions
first
lAn applicative-order reduction sequentially applies the leftmost innermost
reduction first
lThis is a little like top-down vs.
bottom-up parsing and
choosing what to reduce when