Reduction strategy

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 system determines 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.

See evaluation strategy for the specific case dealing with the lambda calculus.

See also

* Reduction system


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

  • 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

  • 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

  • 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

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”