語言選擇:
免費網上英漢字典|3Dict

reduction strategy

資料來源 : Free On-Line Dictionary of Computing

reduction strategy
     
         An {algorithm} for deciding which {redex}(es) to
        reduce next.  Different strategies have different termination
        properties in the presence of {recursive} functions or values.
     
        See {string reduction}, {normal order reduction}, {applicative
        order reduction}, {parallel reduction}
     
        (1995-05-09)
依字母排序 : 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