<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
(1995-05-09)
Nearby terms:
REDUCE « Reduced Instruction Set Computer « reduction « reduction strategy » redundancy » Redundant Array of Inexpensive Disks » Redundant Arrays of Independent Disks