Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of REDUCTION STRATEGY

 
Computing Dictionary
 
 Definition: 

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

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY