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