Applicative Order Reduction
Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen.
Bitte hilf mit, die Mängel dieses Artikels zu beseitigen, und beteilige dich bitte an der Diskussion! (Artikel eintragen) |
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.
Diese artikel "Applicative Order Reduction" ist von Wikipedia The list of its authors can be seen in its historical and/or the page Edithistory:Applicative Order Reduction.