VDict - Definition of partial evaluator

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

autoprojector partial ordering Similix partial evaluation complete partial ordering partial key PDEL partial function Alpha LCL LIDO powerdomain evaluator PRML PDELAN Partial Differential Equation LANguage partially ordered set lower set curried function FX-90 cpo SALEM incremental analysis GMD Toolbox for Compiler Construction PER eager evaluation Scott domain binding-time analysis transitive General Recursion Theorem total function total ordering boundedly complete pre-order optimising compiler ordering complete embedding wiggles specialisation algebraic reflexive function application constant folding LISP 2 equivalence relation partial equivalence relation relation Omega-algebraic Coco/R Recursive Functional Algorithmic Language higher-order macro antisymmetric Oz complete lattice induction sleep multiple perspective software development version frogging more...