VDict - Definition of string reduction

search result for string reduction in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

string reduction reduction reduction strategy parallel reduction graph reduction beta reduction Computational Adequacy Theorem XPL string Weak Head Normal Form Procrustean string String Oriented Symbolic Language applicative order reduction delta reduction Church-Rosser Theorem String EXpression Interpreter head normalisation theorem name capture call-by-name normal order reduction Longitudinal Redundancy Check Compiler Target Language String PRocessING language projection call-by-need normal form whatis null-terminated multibyte string bit string printf AXLE eta conversion serialise scanf nadger internal field separators PANON entropy Lempel-Ziv Welch compression Goffin VULCAN black hole regular expression lazy evaluation RPL-1 LNF finite differencing redex S-K reduction machine term rewriting system eta reduction contraction GRIP evaluation SNOBOL STOIC GRAAL Quake beta conversion Liana demand driven SPRING delta conversion evaluation strategy diverge generic identifier SL5 EZ NTMBS graph rewriting system JPL kiboze bit pattern LOGOL specialisation delimiter Tcode Poplar dollar combination

First < Previous 1 2 3 Next > Last