unify
Migrants have a right to citizenship and family unification.
Progress towards economic unification remains limited.
The treaty forbade the unification of the two countries.

SMART Vocabulary: related words and phrases

Connecting and combining
abut
additive
adjoin
affix something to something
agglomerate
connectedly
connecting
converge
convergence
cor
intertwine
interweave
isthmic
jointed
junction
umbilical
unified
unify
unintegrated
union

unification | American Dictionary

unification
noun[ U ]
us/ˌju·nə·fəˈkeɪ·ʃən/
the forming of a single thing by bringing together separate parts:
Germany was transformed after the fall of the Berlin Wall and the unification of the country.

Examples of unification

unification
They were the unification of infinite trees and a new predicate for testing non-equality of those trees.
Practical steps towards unification were also worked out, as we shall see.
By reducing the size of an abstraction, abstract unification works on smaller objects and is therefore faster, even if no precision is gained.
Further, operations such as term simplification in unification are best realized if the arguments in a head normal form are available as a vector.
Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis.
Equality of terms (unification or matching) and arithmetic are also covered explicitly at this stage.
It finishes with techniques for making the translation of the unification grammar more efficient by filtering out redundant rules.
Unification and some variants, which are used in the typing algorithms, are discussed in the appendix.
The novelty of our proposal lies in the specification of an improved abstract unification procedure, better exploiting the interaction between sharing and linearity.
The following section integrates our term representation into an overall computational model and proposes new machinery for the realization of higher-order unification.
In order to discuss the properties of completion-unification and compression (and of the algorithm), we introduce a partial order on type schemes and environment schemes.
The advantage of treating inherent features and parameters on a par is computational: it allows a direct implementation of parsing as unification.
All were characterized by certain ' 'freedoms' ' or ' 'liberties' ', but such connotations disappeared in the course of the seventeenth century with the unification of the country.
Finally, the notion of similarity between two cases is linked to the concepts of subsumption and anti-unification of terms.
The unification test and propagation operations above would then take approximately 124 and 56 cycles.
See all examples of unification
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.