The DICT Development Group

Search for:
Search type:

Database copyright information
Server information

1 definition found
 for reduction strategy
From 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

Contact=webmaster@dict.org Specification=RFC 2229