reduction strategy

Also found in: Wikipedia

0.01 sec.

(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

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			The PSLM survey 2007-08 is one of the main mechanisms for monitoring the implementation of the Millennium Development Goals (MDGs) and Poverty Reduction Strategy Paper (PRSP), Secretary Statistics Division, Tariq Shafique Khan told here Friday. FBS likely to launch PSLM Survey on May 22 by Balochistan Times (Baluchistan Province, Pakistan) The NHS's Carbon Reduction Strategy says trusts need to produce 10% less carbon than their 2007 level by 2015 and match the 2007 level by 2013. City legal firm embarks on NHS emissions mission by Daily Post (Liverpool, England) But what is the best debt reduction strategy for you? Get Out of Debt Now! by Phil Rogers / Consumer news, advice, product reviews community			reducing sugar Reducing Valve Reducing-Cooling Unit reduct reductant Reductio Ad Absurdum Reduction reduction cell reduction formula reduction gear reduction index reduction of area Reduction of Forces Reduction of Labor Reduction of Metals reduction of observations reduction of star places reduction of tidal current reduction of tides reduction potential reduction ratio reduction roll reduction rule reduction sequence reduction sphere reduction strategy reduction to sea level reduction to the meridian reduction to the sun Reduction, Photographic reductions reductive grammar Redundancy redundancy bit redundancy check redundant redundant array of inexpensive disks Redundant Array of Inexpensive Servers Redundant Arrays of Independent Disks Redundant Arrays of Inexpensive Disks redundant bombing redundant character redundant code redundant digit redundant equation redundant number redundant system reduplicate Reduplication Reduviidae Reduvioidea			Reduction of Error Reduction of Excess Steam Emission and Air Leakage Reduction of Force Reduction of Forces Reduction of Labor Reduction of Metals reduction of observations reduction of star places Reduction of the Posterior Vertical Dimension reduction of tidal current reduction of tides Reduction on Yield Reduction Option Loan Reduction Option Loans Réduction Ouverte avec Fixation Interne Reduction potential Reduction potential reduction ratio Reduction Ratio of Viable Tumor Size Reduction reaction Reduction reaction Reduction reaction reduction roll reduction rule reduction sequence reduction sphere Reduction Strategies reduction strategy Reduction Symmetry Method Reduction to a Previously Unsolved Problem reduction to order reduction to sea level reduction to the meridian reduction to the sun reduction ureteroplasty Reduction, Photographic Reduction, Readiness, Response, Recovery Reduction-Option Loan Reduction-Option Loan Reduction-Option Loans Réduction/Agrandissement Reduction/Oxidation reductional reductional reductional reductional reductiones ad absurdum reductiones ad absurdum reductiones ad absurdum reductionism reductionism reductionist reductionist reductionistic reductionistic reductionistic research reductionistic research reductionistic research

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.