The DICT Development Group
1 definition found
for evaluation strategy
From The Free On-line Dictionary of Computing (18 March 2015) :
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
Questions or comments about this site?