Word list Emoticon dictionary Internet Explorer toolbar IE quick lookup Firefox search plugin VDict bookmarklet For Webmasters VDict on your site
About Privacy policy Contact us
FAQ Community support forum
Language
English
Vietnamese
Search history
History size
Delete history View history
Vietnamese keyboard On Off  
Search in Name Definition  
Match type Exact Broad Fuzzy
 
Computing
 reduction


(Or "contraction") The process of transforming an expression
according to certain reduction rules. The most important
forms are beta reduction (application of a lambdaabstraction to one or more argument expressions) and deltareduction (application of a mathematical function to the
required number of arguments).
An evaluation strategy (or reduction strategy), determines
which part of an expression (which redex) to reduce first.
There are many such strategies.
See graph reduction, string reduction, normal orderreduction, applicative order reduction, parallelreduction, alpha conversion, beta conversion, deltaconversion, eta conversion.
(1995-02-21)




Search for reduction in:


Search by other methods:

Vietnamese Dictionary and Translation. Từ điển và dịch Anh Việt