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 )的一個子集的指稱語義 。
雙語例句
专业释义
- 標志語意語言
- 標志語意語言