mathematical semantics

短语

[计] 数学语义

释义与例句

n.
  1. 1.

    A study of formal semantics of computer languages, such as denotational semantics.

    不可数 计算机 工程 数学