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