VDict - Definition of lenient reduction

search result for lenient reduction in Computing (FOLDOC) dictionary

parallel reduction reduction reduction strategy string reduction beta reduction Computational Adequacy Theorem Weak Head Normal Form applicative order reduction delta reduction Church-Rosser Theorem graph 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 lenient evaluation lazy evaluation RPL-1 LNF finite differencing redex S-K reduction machine term rewriting system eta reduction contraction GRIP evaluation GRAAL beta conversion demand driven evaluation strategy delta conversion diverge graph rewriting system specialisation Tcode combination EDL extensional equality Codd's reduction algorithm David Turner ParAlfl call-by-value Interactive Data Language eager evaluation alpha conversion strength reduction relational calculus G-Code DACTL relational algebra inline full laziness beta abstraction injection Head Normal Form attenuation lambda lifting abstract machine Scheme closure lambda-calculus T functional programming Miranda quine XPL Joint Bi-level Image Experts Group