VDict - Definition of partial key

search result for partial key in Computing (FOLDOC) dictionary

partial ordering partial evaluation complete partial ordering partial key PDEL partial function powerdomain PDELAN PRML Partial Differential Equation LANguage partially ordered set lower set curried function FX-90 cpo autoprojector SALEM incremental analysis PER 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 Recursive Functional Algorithmic Language higher-order macro antisymmetric Oz complete lattice induction sleep multiple perspective software development version frogging Partial Response Maximum Likelihood function Similix fully lazy lambda lifting category union eigenvector type inference Zuse Rhapsody lazy evaluation database normalisation abstract interpretation Boolean algebra fuzzy logic interpreter