Language:
Free Online Dictionary|3Dict

parallel reduction

Source : Free On-Line Dictionary of Computing

parallel reduction
     
        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}.
Sort by alphabet : 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