
f x = ... (2**x) ... (f (x+1)) ... ==> f x = f' x (2**x) where f ' x z = ... z ... (f' (x+1) 2*z) ...Here the expensive operation (2**x) has been replaced by thecheaper 2*z in the recursive function f'. This maintains theinvariant that z = 2**x for any call to f'.
Last updated:1995-01-31
stream-oriented ♦STREAMS ♦strength reduction ♦STRESS ♦stress testing
Try this search onWikipedia,Wiktionary,Google,OneLook.