- Reduction strategy
In code optimization during the translation of computer programs into an executable form, and in mathematical reduction generally, a reduction strategy for a
term rewriting systemdetermines which reducible subterms (or reducible expressions, redexes) should be reduced ("contracted") within a term; it may be the case that a term may contain multiple redexes which are disjoint from one another and that choosing to contract one redex before another may have no influence on the resulting reduced form of the term, or that the redexes in a term do overlap and that choosing to contract one of the overlapping redexes over the other may result in a different reduced form of the term. It is the choice of which redex at each step in the reduction to contract that determines the strategy chosen.
evaluation strategyfor the specific case dealing with the lambda calculus.
Wikimedia Foundation. 2010.
Look at other dictionaries:
Poverty Reduction Strategy Paper — Poverty Reduction Strategy Papers (PRSPs) are in many ways the replacement for Structural Adjustment Programs, and are documents required by the IMF and World Bank before a country can be considered for debt relief within the HIPC programme.… … Wikipedia
Poverty Reduction Strategy Papers — (Strategiepapier zur Armutsminderung) sind eine Grundlage für ein Programm der Weltbank. Inhaltsverzeichnis 1 Die Strategien der Weltbank und des internationalen Währungsfonds 2 Ziele der Partizipation 3 Kritik und Probleme … Deutsch Wikipedia
Tax Reduction Strategy — A source of competitive advantage that depends on differences in the tax rates imposed in different locations. Bloomberg Financial Dictionary … Financial and business terms
Poverty Reduction Strategy Paper — ⇡ PRSP … Lexikon der Economics
Reduction — Reduction, reduced, or reduce may refer to:cienceChemistry*Reduction – chemical reaction in which atoms have their oxidation number (oxidation state) changed. **Reduced gas – a gas with a low oxidation number **Ore reduction: see… … Wikipedia
Reduction system — In mathematics, a reduction system is a system where terms can be re written by using a finte list of rewriting rules.Examples of reduction systems include string rewriting systems, term rewriting systems, lambda calculus under lambda conversion … Wikipedia
Strategy video game — Part of a series on … Wikipedia
Reduction (philosophy) — Reduction is the process by which one object, property, concept, theory, etc., is shown to be explicable in terms of another, higher level, concept, object, property, etc. For example, we say that chemical properties such as the boiling point of… … Wikipedia
Réduction des méfaits — La réduction des méfaits est la dénomination employée au Canada français et au Québec pour désigner une approche d’intervention qui veut atténuer les répercussions négatives associées à une dépendance aux drogues, à l’alcool et à toutes autres… … Wikipédia en Français
reduction — noun ADJECTIVE ▪ big, considerable, great, large, major, marked, significant, substantial ▪ The changes may result in a greater reduction in employee numbers than we had previously … Collocations dictionary