VDict - Definition of partial evaluation

search result for partial evaluation in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

speculative execution WINZIP pre-order suspension ordering normal order reduction complete embedding wiggles MultiLisp quine Program Evaluation and Review Technique algebraic reflexive function application AMPL LISP 2 equivalence relation partial equivalence relation relation workflow Omega-algebraic database administrator ISWIM G-Code typed lambda-calculus eta conversion antisymmetric Oz Information Management shareware complete lattice induction reduction sleep graph reduction tupling multiple perspective software development register dancing head-strict version frogging Partial Response Maximum Likelihood function Similix minimax fully lazy lambda lifting beta testing closure category union Weak Head Normal Form Netscape Navigator eigenvector Orange Book type inference Zuse garbage collection environment variable Rhapsody Aditi database normalisation abstract interpretation Gofer Icon Boolean algebra Clean fuzzy logic Yale Haskell

First < Previous 1 2 Next > Last