VDict - Definition of strength reduction

search result for strength reduction in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

reduction reduction strategy parallel reduction string reduction beta reduction finite differencing Computational Adequacy Theorem Weak Head Normal Form applicative order reduction delta reduction Church-Rosser Theorem graph reduction strength reduction head normalisation theorem name capture call-by-name normal order reduction Compiler Target Language projection call-by-need normal form eta conversion Goffin black hole lazy evaluation RPL-1 LNF redex S-K reduction machine term rewriting system eta reduction contraction GRIP evaluation GRAAL beta conversion demand driven delta conversion evaluation strategy diverge graph rewriting system specialisation Tcode combination EDL extensional equality Codd's reduction algorithm David Turner ParAlfl call-by-value Interactive Data Language alpha conversion relational calculus G-Code DACTL relational algebra inline full laziness beta abstraction injection Head Normal Form Gauss attenuation repeater lambda lifting lace card Keyed-Hashing Message Authentication CMU Common Lisp abstract machine Scheme closure Cedar lambda-calculus T code grinder functional programming Miranda quine ColdFusion XPL

First < Previous 1 2 Next > Last