VDict - Definition of applicative order reduction

search result for applicative order reduction in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

reduction strategy parallel reduction reduction normal order reduction applicative order reduction call-by-value Computational Adequacy Theorem TALE head normalisation theorem string reduction GRAAL call-by-name Scheme beta reduction lazy evaluation Weak Head Normal Form FGL applicative language MARVIN Goffin LNF Applicative Language for Digital Signal Processing delta reduction Church-Rosser Theorem graph reduction name capture traversal CPL Compiler Target Language LPG projection call-by-need normal form Opal eta conversion inline constant applicative form higher-order macro lambda lifting ALDiSP KAOS network byte order order-embedding ASCIIbetical order black hole CAF Tuki Function Graph Language SLIPS HOL first-order logic Mini-ML Poplar OLGA PARADE IF2 lambda-calculus data flow analysis Hollerithabetical order Staple Baudotbetical order ART Newsqueak LOP backing store RPL-1 Leda pre-order finite differencing stacking order A Language for Attributed Definitions RSL redex S-K reduction machine first-order ISWIM term rewriting system functional programming contraction eta reduction

First < Previous 1 2 3 4 5 6 Next > Last