VDict - Definition of reduction strategy

search result for reduction strategy in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

reduction reduction strategy applicative order reduction evaluation strategy normal order reduction call-by-need parallel reduction call-by-name string reduction lazy evaluation evaluation diverge beta reduction Computational Adequacy Theorem extensional equality call-by-value Weak Head Normal Form evolution strategy lenient evaluation delta reduction Church-Rosser Theorem graph reduction head normalisation theorem name capture Compiler Target Language projection normal form eta conversion evolutionary programming Goffin functional programming black hole RPL-1 LNF finite differencing Manchester Autocode redex earliest deadline first S-K reduction machine conservative evaluation slurp term rewriting system eta reduction contraction GRIP outside-in testing GRAAL beta conversion demand driven delta conversion graph rewriting system MPSX data mining specialisation Memory Type Range Registers Tcode combination EDL Codd's reduction algorithm David Turner ParAlfl Interactive Data Language metaheuristic alpha conversion strength reduction relational calculus G-Code production system DACTL relational algebra evolutionary computation inline full laziness beta abstraction injection Head Normal Form attenuation lambda lifting SimCity Group-Sweeping Scheduling

First < Previous 1 2 Next > Last