大家都搜:
程序语义学
1、exercise program───训练方案;锻炼计划
2、generative semantics───[语]生成语义学
3、introducing semantics───引入语义学
4、internship program───实习计划;实习项目
5、gifted program───天才计划
6、compiled program───编成程序
7、processing program───n.[计]处理程序;[计] 处理程序
8、doctoral program───博士生项目
9、headstart program───headstart程序
1、compiler is free to reorder certain instructions as an optimization when it would not change the semantics of the program.───当编译器不会改变程序的语义时,作为一种优化它可以随意地重新排序某些指令。
2、Programs have appeared as O_expressions(expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.───程序以Cao作表达式的形式呈现, 而其语义则以公理的形式给出。
3、Predicate Calculus and Program Semantics.───谓词演算与程序语义。
1、Predicate Calculus and Program Semantics.