formal denotational semantics
基本解释
- [语言学]形式表示语义
- [计算机科学技术]形式标志语意
英汉例句
- Operational semantics and denotational semantics are two type of formal semantics.
其中操作语义学和指称语义学是形式语义学的两大类别。
双语例句
词组短语
- formal chemical structure denotational semantics 形式表示语义
短语
专业释义
- 形式表示语义
- 形式标志语意