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