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.
Nearby terms:
parallel processing « parallel processor « parallel
random access machine « parallel reduction »
Parallel Server Option » Parallel SML » Parallel
Sysplex
|