食材铺反向词典

denotational semantics language

D 开头单词

常见例句

    双语例句

  • This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model.
    使用扩展的持续 时间 演算 （ EDC）模型 ，给出了 时间化的 RAISE描述语言 （ RSL ）的一个子集的指称语义 。
    • 返回 denotational semantics language