evaluation strategy ==>

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)

Try this search on Wikipedia, OneLook, Google

Nearby terms: REDUCE « Reduced Instruction Set Computer « reduction « reduction strategy » redundancy » Redundant Array of Inexpensive Disks » Redundant Array of Inexpensive Servers

Copyright 2010 Denis Howe