Email this page to a friend

Reduction strategy

<theory> An algorithm for deciding which redex(es) to reduce next.

Different strategies have different termination properties in the presence of recursive functions or values.

See string reduction, normal order reduction, applicative order reduction, parallel reduction

< Previous Terms	Terms Containing reduction strategy	Next Terms >
RedNet Ltd. redocumentation REDUCE Reduced Instruction Set Computer reduction	call-by-need evaluation evaluation strategy extensional equality reduction	redundancy Redundant Array of Inexpensive Disks Redundant Arrays of Independent Disks Redundant Arrays of Inexpensive Disks red wire