VDict - Definition of normal order reduction

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

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

reduction strategy parallel reduction reduction Computational Adequacy Theorem head normalisation theorem Church-Rosser Theorem normal order reduction applicative order reduction call-by-name Weak Head Normal Form normal form lazy evaluation graph reduction Head Normal Form name capture string reduction beta reduction diverge Goffin LNF delta reduction database normalisation traversal Compiler Target Language projection call-by-need call-by-value eta conversion inline Root Normal Form scan register Gauss higher-order macro repeating group lambda lifting Conjunctive Normal Form fault tolerance special-case HiLog CPL network byte order order-embedding ASCIIbetical order black hole Scheme HOL first-order logic pathological lambda-calculus data flow analysis Hollerithabetical order Baudotbetical order exception LOP backing store RPL-1 pre-order finite differencing stacking order differential line redex S-K reduction machine fence first-order term rewriting system functional programming eta reduction contraction GRIP evaluation level-sensitive scan design GRAAL beta conversion equational logic demand driven delta conversion evaluation strategy isomorphism TABLOG graph rewriting system

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