reduction strategy

Computing Dictionary

reduction strategy definition

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)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

00:10

00:09

00:08

00:07

00:06

00:05

00:04

00:03

00:02

00:01

Reduction strategy is always a great word to know.
So is gobo. Does it mean:
a screen or mat covered with a dark material for shielding a camera lens from excess light or glare.
a fool or simpleton; ninny.
Dictionary.com, LLC. Copyright © 2012. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT