- 双语例句 更多例句
提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；
互联网摘选
本文以操作语义为分析工具，证明了SPL策略语言表达式的确定性和可终止性，从而间接证明了SPL语言的安全性是有保障的。
互联网摘选
MapReduce的关键特点是它能够对开发人员隐藏操作并行语义&并行编程的具体工作方式。
互联网摘选
最后，用Plotkin风格的结构操作语义SOS（structural operational semantics）规则归纳地给出满足组合性的UML状态机语义。
互联网摘选
There may also be operational semantics to consider when introducing a change.
在引入更改时，还可能需要考虑操作语义。
互联网摘选
Research and Verification on the Operational Semantics Model of DFL Programming Language
动态模糊逻辑程序设计语言的操作语义模型及验证
互联网摘选
Syntax and operational semantics of recursive programs based on predicate logic
建立于谓词逻辑上的递归程序及其操作语义
互联网摘选
Operational semantics and denotational semantics are two type of formal semantics.
其中操作语义学和指称语义学是形式语义学的两大类别。
互联网摘选
- 相关词组
- query semantics[计]查询语义学;
- lexical semantics词汇语义学;
- dynamic semantics[计]动态语义学;
- operational stripping ratio生产剥采比
- logic semantics[计]逻辑语义学;
- managerial and operational rationalization经营管理合理化
- general semantics普通语义;
- world semantics[计] 世界语义学;
- trace semantics[计]轨迹语义学;
- high-gain and low-drift operational amplifier高增益低漂移运算放大器
- Operational Manager运营经理
- tree semantics[计]树状语义学;
- final semantics最终语义；终结语义
- semantics of data[计] 数据语义学;
- operational servo操作伺服系统
- monolithic integrated operational amplifier单块集成运算放大器
- master operational console主操纵台
- general operational requirement一般使用要求
- high input impedance operational amplifier高输入阻抗型运算放大器
- program semantics程序语义学;
- 今日热词
- 热门搜索
- brain n.脑;智慧;聪明的人;（群体中）最聪明的人;vt.打破…的脑袋;打…的头部;
- slim adj.苗条的;微薄的;小的;纤细的;少的;不足的;单薄的v.减肥;(靠节食等)变苗条
- plenty n.丰富;富裕;pron.大量;
- patent n. 专利;专利品;专利权;专利证;adj. 专利的;显然，显露;明摆着的;
- mark n.(显示质量、所有者等的)标记;（品质或情感的）标志，迹象，表示;记号;符号;目标;（重要的）水平，标准点，指标;成绩;型号;斑点;(人或动物身上有助于识别的)斑点，色斑;污点;疤痕;污渍Mark （男子名）马克;v.做记号;标示;（给学生作业）打分，评分，评成绩;做标记;是…的迹象;纪念;留下痕迹;留心;弄污;标明方位;使有污点;钉人防守;赋予特征
- service n.服务;（对顾客的）接待，服务;使用;送达;检修;服务站;班车;公共事业;发球;服务性企业(或行业、业务);公共服务系统;公共事业机构(或公司);海陆空三军;宗教礼仪;整套餐具;仆人地位（或身份）v.检修，维修;提供服务;维护;保养;支付(债务)利息
- storage n.储藏;(计算机的)存储;付费托管;
- integrity n.正直，诚实;完整;[计算机]保存;健全;
- downward adj.下降的;向下的;
- path n.路径; 道路; 路线; 小路; 小径; 行动计划; 成功的途径;
- wallhaven Wallhaven是一个高质量的壁纸网站，提供各种类型的壁纸，包括4K和8K分辨率的图片。
- best of me 最好的我
