parallel reduction
1 definition found
parallel reduction - Free On-line Dictionary of Computing (26 May 2007) :
parallel reduction
A form of applicative order reduction in which all redexes
in an expression are reduced simultaneously. Variants include
parallel outermost reduction and lenient reduction. See
normal order reduction.
|