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