reduction strategy

1 definition found

reduction strategy - Free On-line Dictionary of Computing (26 May 2007) :

  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)