Примери за unification

• Migrants have a right to citizenship and family unification.

• Progress towards economic unification remains limited.

• The treaty forbade the unification of the two countries.

• 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.