catflap.org Online Dictionary Query |
From The Free On-line Dictionary of Computing (27 SEP 03) : [ foldoc ]
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.