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