formal semantics
短语[计] 形式语义
释义与例句
n.
-
1.
The study of the semantics, or interpretations, of formal languages.
不可数 -
2.
the rigorous mathematical study of the meaning of programming languages
不可数 计算机 工程 数学