denotational semantics language

常見(jiàn)例句

雙語(yǔ)例句

• This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model.
  使用擴(kuò)展的持續(xù) 時(shí)間 縯算 （ EDC）模型 ，給出了 時(shí)間化的 RAISE描述語(yǔ)言 （ RSL ）的一個(gè)子集的指稱(chēng)語(yǔ)義 。
返回 denotational semantics language