dictionary help| parallel reduction | computing dictionary |
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.
(03 Feb 2009)
parallel processor, parallel random access machine, parallel rays < Prev | Next > Parallel Server Option, Parallel SML
Bookmark with:      | word visualiser | Go and visit our forums  |
