operational semantics
短语词组
- operational E semantics 运算语义
- structural operational semantics 操作语义
- operational semantics model 操作语义模型
- data operational semantics 数据操作语义
- Formal Operational Semantics 形式化操作语义
- structured operational semantics 结构化操作语义
- Dynamic structured operational semantics 动态结构化操作语义
- Label Operational Semantics 演算的标签操作语义
- the operational semantics 操作语意 返回 operational semantics