| 词汇 | renaming |
| 释义 | renaming present participle ofrename rename verb[ T ] uk /ˌriːˈneɪm/ us /ˌriːˈneɪm/ to give something a new name: 重新命名;给…改名 You must rename the file before you save it.保存之前，你必须对文件重新命名。 The ship was sold, painted, and renamed the Suez Star.这艘轮船被出售后油漆一新，并改名为“苏伊士之星”号。 Names and titles A.N. Other age aka alias appellation first name forename form of address given name good name pen name pet name place name pseudonym pseudonymity trademark unchristened under the name ofidiom unidentified unnamed Examples of renamingrenaming 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 - renaming them 'co-compounds ' in the process. We consider terms to be equal modulo renaming of bound variables. In the following we identify terms modulo renaming of the bound variables. However, one must restrict the use of these operations (in particular disjoint union and renaming) so that they only produce graphs with sources. We can assume that i= the set of node variables constituting each association sequence i is disjoint by renaming node variables. A conformant implementation need not support renaming files in all situations (for instance, renaming across different physical devices), but the constraints must be documented. Formalizing the notion of when two stores are 'equivalent' up to renaming of their locations can be done using the underlying graphs. Their empirical results show the effects of choosing different methods for implementing the linear scan, including instruction ordering, liveness analysis, renaming, and spilling heuristics. Renaming can often be combined with so-called argument filtering to improve the efficiency of the specialised program. Anti-dependencies could be avoided by consistent variable renaming, but such a general code transformation is beyond the scope of this paper. Note that every mu-calculus sentence decomposes into a composition of finitely many blocks, which are unique up to renaming the atoms used for composition. Specifications are identified up to renaming of bound variables and reordering of components, which will be justified by our semantics. Functor signatures are identified modulo renaming of bound stamps. At each call site of f, we build a generic instance by removing the quantifier and renaming the quantified variables with some fresh variables. The precise definition of such a renaming algorithm is omitted as it is not needed in this paper. 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. |
| 随便看 |
|
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。