低级编码
- 与 低级编码 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Based on the idea of type systems, this paper reengineers a new set of type expressions and a type system for machine code of Intel/x86s infrastructure Although machine language program is a binary untyped code, types of its registers and memory exist implicitly in semantics of instructions The type inferring algorithm built on type systems can statically infer safety of the machine code The machine language discussed includes some of important characters, such as jumps, function call, return, and so on, and shows that the approach can be applied to type checking for low level code of other infrastructures
根据类型系统思想，为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统机器语言代码虽然是一种无类型的二进制编码，但其类型信息被隐含在指令的操作语义中，利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令，因此，这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中
- 推荐网络例句
-
Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.
目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。
-
Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.
弯曲：这种病是最常见的原因查明腹泻病，在世界上。
-
Gangs fill the daily lives of many of our poorest and most vulnerable citizens with a terror that the court does not give sufficient consideration, often relegating them to the status of prisoners in their own homes.
法院没有充分的考虑到黑社会的猖獗所带来的恐怖，这使得我们最穷、最可怜的市民每天生活在他们的阴影当中，成为在家的囚犯。