evaluation strategy
1 definition found
evaluation 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)
|