reduction strategy

from The Free On-line Dictionary of Computing (8 July 2008)

reduction strategy
evaluation strategy

   <theory> An {algorithm} for deciding which {redex}(es) to
   reduce next.  Different strategies have different termination
   properties in the presence of {recursive} functions or values.

   See {string reduction}, {normal order reduction}, {applicative
   order reduction}, {parallel reduction}

   (1995-05-09)