Skip to search formSkip to main contentSkip to account menu

Reduction strategy (code optimization)

Known as: Redex, Reducible expression, Reduction strategy 
In code optimization during the translation of computer programs into an executable form, and in mathematical reduction generally, a reduction… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
In the context of the Energy Internet, customers are supplied by energy hubs (EH), while the EHs are interconnected through an… 
Highly Cited
2012
Highly Cited
2012
In this paper, we further develop an approach previously introduced in Lassila and Rozza, 2010, for shape optimization that… 
2008
2008
A reachability problem is a problem used to decide whether s is reachable to tby Ror not for a given two terms s, tand a term… 
Highly Cited
2007
Highly Cited
2007
  • J. Krivine
  • High. Order Symb. Comput.
  • 2007
  • Corpus ID: 18158499
Abstract We present a particularly simple lazy lambda-calculus machine, which was introduced twenty-five years ago. It has been… 
Review
2004
Review
2004
We survey a substantial body of knowledge about lambda calculus and Pure Type Systems, formally developed in a constructive type… 
Highly Cited
2002
Highly Cited
2002
Contex-sensitive rewriting is a simple rewriting restriction which is formalized by imposing fixed restrictions on replacements… 
Highly Cited
1996
Highly Cited
1996
In this paper, we propose to extend the Barendregt Cube by generalisings-reduction and by adding definition mechanisms… 
Highly Cited
1996
Highly Cited
1996
rewriting system, 16 irreflexive, 33 weakly irreflexive, 33 with typing, 37, 40 with very weak typing, 40 with weak typing, 40… 
Highly Cited
1995
Highly Cited
1995
We introduce a class of restrictions for the ordered paramodulation and superposition calculi (inspired by the basic strategy for… 
Highly Cited
1994
Highly Cited
1994
The work reported here is part of the PROGRES (PROgrammed Graph Rewriting Systems) project. PROGRES is a very high level multi…