Predicate Calculus and Program Semantics.
谓词演算与程序语义。
Programs have appeared as O_expressions(expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.
程序以操作表达式的形式呈现， 而其语义则以公理的形式给出。
The compiler is free to reorder certain instructions as an optimization when it would not change the semantics of the program.
当编译器不会改变程序的语义时，作为一种优化它可以随意地重新排序某些指令。
Actions, such as reads and writes of variables, are ordered within a thread according to what is called the "program order" — the order in which the semantics of the program say they should occur.
像对变量的读写这样的操作，在线程中是根据所谓的“程序顺序”——程序的语义声明它们应当发生的顺序——排序的。
The second thing that programmers do is understand fully the syntax, semantics, abilities, and limitations of the languages that they program with.
程序员要做的第二件事情是全面理解自己编程使用的语言的语法、语义、功能和局限。
JSR 133 significantly strengthens the semantics of volatile, so that volatile flags can be used reliably as indicators that the program state has been changed by another thread.
JSR 133显著增强了volatile的语义，这样就可以可靠地使用volatile标志表明程序状态被另一个线程改变了。
The compiler is actually free to take some liberties with the program order within a thread as long as as-if-serial semantics are preserved.
编译器实际上对在线程中使用程序顺序是可以有一些自由的——只要保留了as - if -serial语义。
Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
最后还给出了时间化RSL的一些代数定律。这些定律可以从其指称语义证明，并用于程序的转化和优化。
Translates security policy into a prioritized logic program, and then computes its semantics.
先将安全策略用一个优先逻辑程序表示，然后计算其语义。
As the semantics model of logic program, the matching rule of new lymphocytes is to compute the stable model of lymphocytes and antigens.
基于逻辑程序的稳定模型语义学，用稳定模型语义计算作为新的淋巴细胞的匹配算法。
Among other things, the compiler is required to make sure that necessary synchronization is introduced to preserve the sequential semantics of the original program.
当针对多处理机系统对源程序进行自动并行化时，被高级语言和编程模型隐藏的细节必须得到正确的处理。
This paper proposes a semantics-based framework of malware detection for detecting whether a program is a variation of the malware.
最后，通过一个实现了该框架的原型系统来说明基于语义的恶意软件判定器框架的可行性。
This paper proposes a semantics-based framework of malware detection for detecting whether a program is a variation of the malware.
最后，通过一个实现了该框架的原型系统来说明基于语义的恶意软件判定器框架的可行性。
应用推荐