Applicative Order Reduction

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.


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Normal Order Reduction — Die Normal Order Reduction (NOR) ist eine Ableitungsstrategie beim Lambda Kalkül, um einen Lambda Ausdruck zu dessen Normalform abzuleiten. Bei dieser Strategie wird die lazy evaluation genutzt, bei der die Ausdrücke erst ausgewertet werden, wenn …   Deutsch Wikipedia

  • Beta normal form — In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta redex in… …   Wikipedia

  • Aor — Die Abkürzung AOR steht für: Address of Records, eine bestimmte URI die einem Benutzer fest zugeordnet werden kann Adult oriented Rock, eine Form der Rockmusik, die nicht primär für den jugendlichen Musikkonsumenten produziert wird Album oriented …   Deutsch Wikipedia

  • AOR — Die Abkürzung AOR steht für: Address of Records, eine bestimmte URI die einem Benutzer fest zugeordnet werden kann Adult Oriented Rock, ein Subgenre der Rockmusik, oft auch Arena Rock Album oriented Rock, ein Radioformat Applicative Order… …   Deutsch Wikipedia

  • Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

  • Evaluation strategy — Evaluation strategies Strict evaluation Applicative order Call by value Call by reference Call by sharing Call by copy restore Non strict evaluation Normal order Call by name Call by need/Lazy evaluation …   Wikipedia

  • Fixed-point combinator — Y combinator redirects here. For the technology venture capital firm, see Y Combinator (company). In computer science, a fixed point combinator (or fixpoint combinator[1] ) is a higher order function that computes a fixed point of other functions …   Wikipedia

  • Fixed point combinator — A fixed point combinator (or fixed point operator) is a higher order function that computes a fixed point of other functions. This operation is relevant in programming language theory because it allows the implementation of recursion in the form… …   Wikipedia

  • Short-circuit evaluation — Evaluation strategies Strict evaluation Applicative order Call by value Call by reference Call by sharing Call by copy restore Non strict evaluation Normal order Call by name Call by need/Lazy evaluation Call by …   Wikipedia

  • Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”