Word:

normal order reduction

normal order reduction - 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.
Browse
Norland
Norlander
Norlestrin
Norlutin
Norm
Norma
Norma Jean Baker
Normal
normal curve
normal distribution
normal dwarf
Normal equation
Normal equations
normal fault
normal form
Normal group
-- normal order reduction --
Normal place
normal pyrotartaric acid
normal school
Normal spectrum
normal stannic acid
normal titanic acid
normalcy
normalisation
normalise
normalised
normaliser
normality
Normalization
normalize
normalizer
normally
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 - Privacy Policy