| 词汇 | aliasing |
| 释义 | aliasing noun[ U ] computing specializeduk /ˈeɪ.li.əs.ɪŋ/ us /ˈeɪ.li.əs.ɪŋ/ the use of aliases(= different names) to find computer files, commands, addresses, etc.别名使用（以在电脑中寻找文档、指令、地址等等） Operating computers admin administrator always-on back someone up black hat drag live streamer logout loop malicious maximize miswrite surf tap untag untagged untechnical untick user interface zip file Examples of aliasingaliasing Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis. Aliasing and groundness analysis of logic programs through abstract interpretation and its safety. Aliasing of flow was seen from the left pulmonary veins entering the left atrium, suggesting obstruction. Argument objects can have different roles, and the model guarantees that an owner cannot introduce aliasing between roles. Reasoning at this level, usage aspects and diamond values can be completely ignored; our proof guarantees that the imperative interpretation with aliasing is sound. Next we will show that these preserved variables are not aliasing with what may be modified by the sub-evaluations. This number is reassuring, because the stimulus is not causing any aliasing at the highest meaningful speeds. After observing this semantic update to coincide with syntactic update in the absence of aliasing, they establish soundness and relative completeness of their proof rules. All the mentioned methods for analysing memory aliasing in imperative programmes make assertions about individual memory cells or unstructured heap blocks. Analog to digital conversion was based on a 512 points/s sampling rate, well above the rate needed to prevent aliasing. The shaded gray area indicates the region within which spatial aliasing occurs- when gratings can be detected but not reliably identified. They offer an effective middle layer with clear logical status for reasoning about aliasing. The fifth shows how the lack of a mechanism for type aliasing can force unnecessary verbosity, especially when generic components must be explicitly instantiated. Next, we show several examples of leaks that may occur in object-oriented programs due to control flow and aliasing. With type aliasing, a short name could be given to this type and thus reduce clutter in the code. 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条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。