Search Result for "reduction strategy":

The Free On-line Dictionary of Computing (30 December 2018):

reduction strategy evaluation strategy 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)