... microprocessor semantics 微处理机语义学... program semantics 程序语义学 semantics implementation system 语义学实现系统...
基于26个网页-相关网页
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.
当编译器不会改变程序的语义时，作为一种优化它可以随意地重新排序某些指令。
应用推荐