reduction strategy


Also found in: Wikipedia.

reduction strategy

(theory)
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
References in periodicals archive ?
The Manitoba government has launched an online survey as part of ongoing consultations to support the development of a new poverty reduction strategy, Families Minister Scott Fielding and Education and Training Minister Ian Wishart announced today.
While Iowa's nutrient reduction strategy is just one of the state strategies, it provides useful information about the range of applicable conservation practices and the high level of implementation that would be needed to reach the nutrient reduction goals across the entire Mississippi River basin.
Our focused police operation includes demand reduction strategy, supply reduction strategy, internal cleansing among our ranks, and legal offensive, Tinio said.
The Ministry of Climate Change (MoCC) has submitted Intended Nationally Determined Contribution (INDC) a national carbon emission reduction strategy to the United Nations Framework Convention on Climate Change (UNFCCC).
a specialist in the study of illegal animal and plant trafficking, presents a crime reduction strategy that examines the factors that allow the trade to exist, in order to design interventions that reduce the killing and selling of endangered species.
4% since 1998, when a 10-year reduction strategy was put in place.
Under realistic scenarios of sexual behaviour and testing frequency for MSM, serosorting can be an effective harm reduction strategy.
6m grant to assist the government of Rwanda in implementing its Economic Development Poverty Reduction Strategy.
BAGHDAD / Aswat al-Iraq: The United Nations World Food Programme (WFP) described a Memorandum of Understanding (MoU) signed with the Iraqi Ministry of Trade as a "critical element" of a poverty reduction strategy, a ministry statement said on Tuesday.
The street mentors are a vital part of the reduction strategy and will help youth understand the dangers and consequences of gang life," said Chomiak.
The statement issued by supporters of the carbon reduction strategy said, "Millions of people could die in this century because of climate change, most of them our poorest global neighbors.