Meaning of NARROWING
Pronunciation: | | n'erowing
|
Computing Dictionary |
|
| Definition: | | Unification followed by unfolding. The left-hand side of a rule is unified with some term, resulting in a set of variable bindings. The term is then replaced by the right-hand side of the rule with values substituted for bound variables. |
|
| Sponsored Links: | |
|
|
Thesaurus Terms |
|
| Related Terms: | | abbreviation, astriction, astringency, ban, bar, barring, blockade, bottleneck, boycott, cervix, circumscription, coarctation, compactedness, compaction, compression, compressure, concentration, condensation, confining, consolidation, constriction, constringency, contraction, contracture, cramping, curtailment, debarment, debarring, decrease, demarcation, diminuendo, disentanglement, disinvolvement, distillation, embargo, exception, exclusion, hourglass, hourglass figure, inadmissibility, injunction, isthmus, knitting, limitative, limiting, lockout, narrow place, neck, nonadmission, omission, preclusion, prohibition, puckering, purification, pursing, reduction, refinement, rejection, relegation, repudiation, restricting, restriction, restrictive, shortening, simplification, solidification, stranglement, strangulation, streamlining, striction, stricture, stripping, stripping down, systole, taboo, taper, tapering, uncluttering, unscrambling, unsnarling, wasp waist, wrinkling |
|
|
|
|