VDict - Definition of Head Normal Form

search result for Head Normal Form in Computing (FOLDOC) dictionary

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

normal form Weak Head Normal Form Head Normal Form Root Normal Form head normalisation theorem database normalisation Church-Rosser Theorem WHNF Conjunctive Normal Form Computational Adequacy Theorem evaluator BNF scan register Backus Normal Form Nondeterministic Turing Machine boustrophedonic pragma Backus-Naur Form name capture CPL call-by-name Codd's First Normal Form fourth normal form third normal form fifth normal form second normal form first normal form RNF DNF refutable level-sensitive scan design SNAFU principle diverge Disjunctive Normal Form parallel reduction repeating group head-strict track deep space fault tolerance special-case FORM disk drive CGI program graph reduction single static assignment Advanced Intelligent Tape Hacking X for Y exception plaintext uncurrying re-engineering rotational latency winchester cylinder differential line Dragon Book IFDL type inference Augmented Backus-Naur Form form feed Axiom of Comprehension stack Run Length Limited co-location client-server Ivan Sutherland frob Extended Backus-Naur Form Canonical Encoding Rules Hitachi 6309 library lazy evaluation stemmer bell curve fill-out form Fermat prime Manchester encoding sector interleave STREAMS

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