redex


Also found in: Acronyms.

redex

Reducible Expression. An expression matching the left hand side of a reduction rule or definition.
References in periodicals archive ?
A term s is called a (narrowing) redex if and only if there exists a new variant ([Lambda] [Rho], ??
asked Redex to supply 2-ounce tubes of Udderly Smooth Foot Cream to be included in starter kits given to patients taking Roche Pharmaceuticals' oral chemotherapy drug, Xeloda.
(2) if several rewrite rules match the same redex, then it selects which rewrite rule is preferred to reduce this redex.
Call-by-need is nothing but call-by-name with redex sharing and update, and in Section 6 we present how it can be expressed in our framework.
Udderly Smooth Udder Cream became the flagship product of Redex. It is a moisture-rich cream with a light and fresh fragrance.
Note that reductions are label-preserving, since the contractum of a redex inherits the same label as the redex.
As in the previous development, once a term has been normalized, no further reductions ever introduce a (let.1) or (let.2) redex. Alas, the same cannot be said of (assoc).
Using Redex DPF cleaner when your light comes on or as a regular preventative measure will clean and reactivate the filter, saving you time, money and stress.
The narrative centres on the Redex Trial, a brutal real-life car race around Australia.
Industry Contributor: Entrepreneur: Tish and Snooky Bellomo, Tish and Snooky's Manic Panic NYC Charitable Company: Redex Industries Inc.