• 1. denotational semantics: 指称语义 | 指称语义学 | 标志语意 | 外延语义学
• 2. Denotational Semantics Language: 标志语意语言
• 3. denotational semantics method: 标志语意方法

更多释义

• 1.The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
  连续函数的不动点是指称语义的一个重要内容，它刻画了程序的计算性质。
  dict.yoduao.com
• 2.In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
  本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
  dict.yoduao.com
• 3.Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
  最后还给出了时间化RSL的一些代数定律。 这些定律可以从其指称语义证明，并用于程序的转化和优化。
  dict.yoduao.com

©2026 网易公司