REDEX

Meaning of REDEX in English

Reducible Expression. An expression matching the left hand side of a reduction rule or definition.

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

REDEX — сокр. от REDucible Expression редекс, редуцируемое выражение (выражение, стоящее в левой части правила редукции )
Англо-Русский словарь по компьютерам
REDEX — сокр. от REDucible Expression редекс, редуцируемое выражение (выражение, стоящее в левой части правила редукции)
Англо-Русский словарь по вычислительной технике и программированию
REDEX — REDucible Expression редекс, редуцируемое выражение ( выражение, стоящее в левой части правила редукции )
Англо-Русский словарь компьютерных терминов
REDUCTION — (Or "contraction") The process of transforming an expression according to certain reduction rules. The most important forms are beta reduction …
FOLDOC Computer English Dictionary
REDUCTION STRATEGY — < theory > An algorithm for deciding which redex (es) to reduce next. Different strategies have different termination properties in …
FOLDOC Computer English Dictionary
PARALLEL REDUCTION — A form of applicative order reduction in which all redex es in an expression are reduced simultaneously. Variants include parallel …
FOLDOC Computer English Dictionary
NORMAL ORDER REDUCTION — Under this evaluation strategy an expression is evaluated by reducing the leftmost outermost redex first. This method will terminate for …
FOLDOC Computer English Dictionary
LENIENT EVALUATION — < reduction > An evaluation strategy , described in [Traub, FPCA 89], under which all redex es are evaluated in …
FOLDOC Computer English Dictionary
HEAD NORMALISATION THEOREM — Under the typed lambda-calculus, beta/delta reduction of the left-most redex (normal order reduction) is guaranteed to terminate with a head …
FOLDOC Computer English Dictionary
EAGER EVALUATION — Any evaluation strategy where evaluation of some or all function arguments is started before their value is required. A typical …
FOLDOC Computer English Dictionary
DELTA REDUCTION — < theory > In lambda-calculus extended with constants, delta reduction replaces a function applied to the required number of arguments …
FOLDOC Computer English Dictionary
APPLICATIVE ORDER REDUCTION — < programming > An evaluation strategy under which an expression is evaluated by repeatedly evaluating its leftmost innermost redex . …
FOLDOC Computer English Dictionary
WEAK HEAD NORMAL FORM — < reduction , lambda calculus > (WHNF) A lambda expression is in weak head normal form (WHNF) if it is …
FOLDOC Computer English Dictionary
HEAD NORMAL FORM — < theory , reduction > (HNF) A term describing a lambda expression whose top level is either a variable, a …
FOLDOC Computer English Dictionary

FOLDOC Computer English Dictionary

← RED ZONE REDIRECTION→