denotational semantics language
基本解釋
- [動(dòng)力與電氣工程]標(biāo)志語意語言
- [計(jì)算機(jī)科學(xué)技術(shù)]標(biāo)志語意語言
英漢例句
- 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描述語言 ( RSL )的一個(gè)子集的指稱語義 。
雙語例句
專業(yè)釋義
- 標(biāo)志語意語言
- 標(biāo)志語意語言