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