VDict - Definition of Moore bound

search result for Moore bound in Computing (FOLDOC) dictionary

Moore graph least upper bound Moore bound graph greatest lower bound Baroque bound variable free variable upper bound logic variable complete lattice distributive lattice name capture Moore's Law lattice termination analysis partial ordering mcvert Nqthm Goffin CypherText Steve's Shell GAMMA Parkinson's Law of Data twonkie environment variable Meet infimum \sqcap \sqcup supremum GLB lub directed set actual argument boundedly complete complete partial ordering approximation algorithm bounded join narrowing algebraic formal argument inclusive ideal Procrustean string intelligent backtracking maximal free expression bracket abstraction least fixed point beta reduction strong typing Intel Corporation FORTH Oberon-2 constant applicative form unification fully lazy lambda lifting lambda abstraction for The Rest Of Us polymorphic lambda-calculus Multipop-68 NPL data hierarchy Oberon Electronic Numerical Integrator and Computer Intel 80186 logic Pascal Lorem ipsum The story of Mel, a Real Programmer