VDict - Definition of delta reduction

search result for delta reduction in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

reduction delta reduction delta conversion head normalisation theorem reduction strategy parallel reduction Delta string reduction delta beta reduction Computational Adequacy Theorem polymorphic lambda-calculus Weak Head Normal Form forward delta Delta-Prolog applicative order reduction within delta of Church-Rosser Theorem graph reduction discrete cosine transform name capture call-by-name normal order reduction real number Compiler Target Language projection call-by-need normal form eta conversion Goffin black hole DELTASE lazy evaluation Adaline RPL-1 epsilon LNF Delta-4 finite differencing redex S-K reduction machine term rewriting system eta reduction contraction GRIP evaluation GRAAL beta conversion demand driven evaluation strategy diverge graph rewriting system Basic Rate Interface specialisation Tcode combination EDL extensional equality Codd's reduction algorithm David Turner ParAlfl call-by-value Interactive Data Language alpha conversion strength reduction relational calculus G-Code DACTL relational algebra inline full laziness beta abstraction injection Head Normal Form attenuation Program Composition Notation lambda lifting abstract machine Scheme closure

First < Previous 1 2 Next > Last