renaming
present participle ofrename
| 单词 | renaming |
| 释义 | renaming present participle ofrename rename verb[T] uk/ˌriːˈneɪm/us/ˌriːˈneɪm/to give something a newname: You must rename thefilebefore yousaveit. Theshipwassold,painted, and renamed the SuezStar. Names and titles
Examplesofrenamingrenaming In English, many past and present participles of verbs can be used as adjectives. Some of these examples may show the adjective use. It is thus timely to have a book that considers them in great detail -renamingthem 'co-compounds ' in the process. From theCambridge English Corpus We consider terms to be equal modulorenamingof bound variables. From theCambridge English Corpus In the following we identify terms modulorenamingof the bound variables. From theCambridge English Corpus However, one must restrict the use of these operations (in particular disjoint union andrenaming) so that they only produce graphs with sources. From theCambridge English Corpus We can assume that i= the set of node variables constituting each association sequence i is disjoint byrenamingnode variables. From theCambridge English Corpus A conformant implementation need not supportrenamingfiles in all situations (for instance, renaming across different physical devices), but the constraints must be documented. From theCambridge English Corpus Formalizing the notion of when two stores are 'equivalent' up torenamingof their locations can be done using the underlying graphs. From theCambridge English Corpus Their empirical results show the effects of choosing different methods for implementing the linear scan, including instruction ordering, liveness analysis,renaming, and spilling heuristics. From theCambridge English Corpus Renamingcan often be combined with so-called argument filtering to improve the efficiency of the specialised program. From theCambridge English Corpus Anti-dependencies could be avoided by consistent variablerenaming, but such a general code transformation is beyond the scope of this paper. From theCambridge English Corpus Note that every mu-calculus sentence decomposes into a composition of finitely many blocks, which are unique up torenamingthe atoms used for composition. From theCambridge English Corpus Specifications are identified up torenamingof bound variables and reordering of components, which will be justified by our semantics. From theCambridge English Corpus Functor signatures are identified modulorenamingof bound stamps. From theCambridge English Corpus At each call site of f, we build a generic instance by removing the quantifier andrenamingthe quantified variables with some fresh variables. From theCambridge English Corpus The precise definition of such arenamingalgorithm is omitted as it is not needed in this paper. 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. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。