denotational semantics中文，denotational semantics的意思，denotational semantics翻译及用法

2025-10-08 11:56 浏览次数 6

denotational semantics

[计] 指称语义

denotational semantics 例句

英汉例句

  • the automatic generation system, which transforms the denotational semantics of code generation languages into efficient compiler code generator, has been developed.

    本文中描述了把代码生成语言的指称语义描述变换为编译程序代码生成器的一个变换系统。

  • operational semantics and denotational semantics are two type of formal semantics.

    其中操作语义学和指称语义学是形式语义学的两大类别。

  • in this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.

    本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。

  • this paper provides a denotational semantics to a subset of timed raise specification language (rsl) using extended duration calculus (edc) model.

    使用扩展的持续 时间演算 （edc）模型 ，给出了时间化的raise描述语言 （rsl ）的一个子集的指称语义 。

相关热词