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 )的一个子集的指称语义 。
双语例句
专业释义
- 标志语意语言
- 标志语意语言