denotational semantics

短语

[计] 标志语义

释义与例句

n.
  1. 1.

    An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages.

    不可数 计算机 工程 数学