formal denotational semantics

基本解释

• [语言学]形式表示语义
• [计算机科学技术]形式标志语意

英汉例句

双语例句

• Operational semantics and denotational semantics are two type of formal semantics.
  其中操作语义学和指称语义学是形式语义学的两大类别。

• formal denotational semantics更多例句

词组短语

短语

• formal chemical structure denotational semantics 形式表示语义

• formal denotational semantics更多词组

专业释义

语言学

• 形式表示语义

计算机科学技术

• 形式标志语意