Word:

reduction strategy

(theory)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
Browse
Reducing agent
reducing diet
Reducing furnace
Reducing pipe fitting
Reducing valve
Reduct
reductant
reductase
Reductibility
reductio
reductio ad absurdum
Reduction
Reduction ascending
Reduction descending
reduction division
reduction gear
-- reduction strategy --
reductionism
reductionist
Reductive
Reductively
reductivism
Reduit
Redundance
redundancy
Redundant
Redundant Array of Inexpensive Disks
Redundant Arrays of Independent Disks
Redundant Arrays of Inexpensive Disks
redundant check
Redundantly
Reduplicate
Reduplication
Definitions Index: # 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

About this site and copyright information - Online Dictionary Home