denotational semantics language
常见例句
- 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