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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

The time delay estimation (TDE) of some known waveforms from sampled data is of great interest in the area of signal processing…

2014

machines for higher-order term sharing

2012

Sharing graphs are a tool for the implementation of graph rewriting systems whose rules may require the duplication, the…

2006

The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly…

2005

We develop the semantic foundations of the specification language HasCasl, which combines algebraic specification and functional…

1997

We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis…

1997

G.Huet (1980) showed that a left-linear term-rewriting system (TRS) is Church-Rosser (CR) if P ! j Q for every critical pair < P…

1997

We investigate con uence properties for concurrent systems of message-passing processes, because such properties have proved to…

1996

We discuss issues relevant to the practical use of a previously proposed notation for lambda terms in contexts where the…

1993

We design a normalizing strategy for orthogonal term rewriting systems (OTRSs), which is a generalization of the call-by-need…