PARALLEL REDUCTION


Meaning of PARALLEL REDUCTION in English

A form of applicative order reduction in which all redex es in an expression are reduced simultaneously. Variants include parallel outermost reduction and lenient reduction . See normal order reduction .

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.