科学技术名词为您提供公理语义,axiomatic semantics,公理语义的意思,axiomatic semantics的意思,公理语义的英文,axiomatic semantics的翻译,公理语义的翻译,公理语义是什么意思,公理语义什么意思,axiomatic semantics是什么意思,axiomatic semantics什么意思
公理语义 相关科技名词
- 标量数据流分析scalar data flow analysis
- 控制流分析control-flow analysis
- 别名分析alias analysis
- 常数传播constant propagation
- 不变式invariant
- 距离向量distance vector
- 方向向量direction vector
- 程序生成program generation
- 中间代码intermediate code
- 三元组triple
- 四元组quadruple
- 词干stem
- 中缀infix
- 后缀postfix
- 连接connection;link
- 链接link
- 符号分析symbolic analysis
- 相关测试dependence test
- 真依赖true dependence
- 反依赖antidependence
- 流依赖flow dependence
- 输出依赖output dependence
- 控制依赖control dependence
- 输入依赖input dependence
- 依赖边dependence edge
- 依赖弧dependence arc
- 代数简化algebraic simplification
- 常数合并constant folding
- 公共子表达式删除common subexpression elimination
- 复制传播copy propagation
- 死[代]码删除dead code elimination
- 融合fusion
- 直接插入inlining
- 内部函数intrinsic function
- 不变代码移出invariant code motion
- 循环不变式loop invariant
- 嵌套循环nested loop
- 窥孔优化peephole optimization
- 寄存器着色register coloring
- 基于资源的调度resource-based scheduling
别人正在查