VDict - Definition of beta reduction

search result for beta reduction in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

beta reduction reduction beta conversion beta abstraction head normalisation theorem reduction strategy parallel reduction delta reduction name capture string reduction beta testing beta alpha/beta pruning Computational Adequacy Theorem Weak Head Normal Form inline applicative order reduction Church-Rosser Theorem graph reduction beta version call-by-name normal order reduction Compiler Target Language projection call-by-need normal form quality assurance eta conversion BETA Goffin black hole quine lazy evaluation RPL-1 LNF alpha testing finite differencing redex S-K reduction machine suicideware term rewriting system contraction eta reduction GRIP evaluation Windows NT 3.1 GRAAL demand driven evaluation strategy delta conversion diverge not ready for prime time graph rewriting system Siri Program Evaluation and Review Technique Concurrent Object-Oriented C release specialisation Tcode combination Ibpag2 EDL extensional equality Codd's reduction algorithm David Turner ParAlfl call-by-value crash and burn Interactive Data Language alpha conversion strength reduction relational calculus G-Code Ellie German DACTL relational algebra Google full laziness injection

First < Previous 1 2 Next > Last