e/de/Applicative Order Reduction

Information
instance of	c/Logical calculi

Meaning
German
has gloss	deu: Die Applicative Order Reduction (AOR) ist eine Ableitungsstrategie beim Lambda-Kalkül, um einen Lambda-Ausdruck zu dessen Normalform abzuleiten. Es werden zuerst die Argumente ausgewertet und erst dann die Funktionen, die die Argumente benötigen. Neben der zweiten Ableitungsstrategie, der Normal Order Reduction (NOR), führt diese Strategie nicht immer zum Erfolg.
lexicalization	deu: Applicative Order Reduction