formal semantics

名词 n.

英文释义

名词 n.
  1. The study of the semantics, or interpretations, of formal languages. uncountable
  2. the rigorous mathematical study of the meaning of programming languages uncountable
0 次浏览 数据来源: Wiktionary