You are here: irt.org | 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.
Nearby terms: parallel processing « parallel processor « parallel random-access machine « parallel reduction » Parallel Server Option » Parallel SML » Parallel Sysplex
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL