Try Our Apps
Dictionary.com

follow Dictionary.com

Is irregardless a word?

normal order reduction

normal order reduction in Technology


Under this evaluation strategy an expression is evaluated by reducing the leftmost outermost redex first. This method will terminate for any expression for which termination is possible, whereas applicative order reduction may not. This method is equivalent to passing arguments unevaluated because arguments are initially to the right of functions applied to them. See also computational adequacy theorem.

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for normal

8
11
Scrabble Words With Friends

Nearby words for normal order reduction