网站首页  词典首页

请输入您要查询的英文单词:

 

单词 unification
释义

Examplesofunification

unification
They were theunificationof infinite trees and a new predicate for testing non-equality of those trees.
From theCambridge English Corpus
Practical steps towardsunificationwere also worked out, as we shall see.
From theCambridge English Corpus
By reducing the size of an abstraction, abstractunificationworks on smaller objects and is therefore faster, even if no precision is gained.
From theCambridge English Corpus
Further, operations such as term simplification inunificationare best realized if the arguments in a head normal form are available as a vector.
From theCambridge English Corpus
Derivation and safety of an abstractunificationalgorithm for groundness and aliasing analysis.
From theCambridge English Corpus
Equality of terms (unificationor matching) and arithmetic are also covered explicitly at this stage.
From theCambridge English Corpus
It finishes with techniques for making the translation of theunificationgrammar more efficient by filtering out redundant rules.
From theCambridge English Corpus
Unificationand some variants, which are used in the typing algorithms, are discussed in the appendix.
From theCambridge English Corpus
The novelty of our proposal lies in the specification of an improved abstractunificationprocedure, better exploiting the interaction between sharing and linearity.
From theCambridge English Corpus
The following section integrates our term representation into an overall computational model and proposes new machinery for the realization of higher-orderunification.
From theCambridge English Corpus
In order to discuss the properties of completion-unificationand compression (and of the algorithm), we introduce a partial order on type schemes and environment schemes.
From theCambridge English Corpus
The advantage of treating inherent features and parameters on a par is computational: it allows a direct implementation of parsing asunification.
From theCambridge English Corpus
All were characterized by certain ' 'freedoms' ' or ' 'liberties' ', but such connotations disappeared in the course of the seventeenth century with theunificationof the country.
From theCambridge English Corpus
Finally, the notion of similarity between two cases is linked to the concepts of subsumption and anti-unificationof terms.
From theCambridge English Corpus
Theunificationtest and propagation operations above would then take approximately 124 and 56 cycles.
From theCambridge English Corpus
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.
#https://dictionary.cambridge.org//dictionary/english/unification##
随便看

 

英汉词典包含213609条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 1999-2024 qbania.com All Rights Reserved
更新时间:2024/12/28 1:12:46