operational semantics
短語(yǔ)詞組
- operational E semantics 運(yùn)算語(yǔ)義
- structural operational semantics 操作語(yǔ)義
- operational semantics model 操作語(yǔ)義模型
- data operational semantics 數(shù)據(jù)操作語(yǔ)義
- Formal Operational Semantics 形式化操作語(yǔ)義
- structured operational semantics 結(jié)搆化操作語(yǔ)義
- Dynamic structured operational semantics 動(dòng)態(tài)結(jié)搆化操作語(yǔ)義
- Label Operational Semantics 縯算的標(biāo)簽操作語(yǔ)義
- the operational semantics 操作語(yǔ)意 返回 operational semantics