operational semantics
操作语义学；操作语义
operational semantics网络翻译
操作语义学(Operational semantics)——通过语言实现方式定义语言语义，就语言成分所应计算机操作作语言成分语义。
运算语义... operational reliability 工咨靠性 operational semantics 运算语义 operational sequence 操壮序 ...
语义学...。最后两篇讨论CSP的非确定性语义,这种语义考虑了CSP的各种允许的非确定行为。CSP的非确定性语义是用操作语义学(Operational Semantics)和公理化语义学同时给出的。标题为“通信进程的非确定性语义学(上)”及“(下)”。
operational semantics常用短语
1. A operational semantics：操作语义
2. data operational semantics：数据操作语义
3. the operational semantics：操作语意
4. operational semantics model：操作语义模型
5. structured operational semantics：结构化操作语义
6. big-step operational semantics：大步操作语义
operational semantics双语例句
A BLA definition provides operational semantics for its constituent parts.
bla定义为其构成部分提供了操作语义。
Operational semantics and algebraic laws are very useful in practice.
形式化语义和代数法则在实践应用是很有用的。
There may also be operational semantics to consider when introducing a change.
在引入更改时，还可能需要考虑操作语义。
相关单词
- swotn. 苦读的人；努力工作者；辛苦的工作 vi. 刻苦用功 vt. 刻苦攻读
- switchbackn. 在 Z 形路轨向原来的方向返驶；改变角度；之字形路 vi. 蜿蜒而行；采取迂回方针 adj. 曲折的；起伏不平的
- supervisorn. 监督者，管理者；（英国大学里负责学生研究工作的）指导教师；<美>镇长，县长
- strikebreakern. [劳经] 破坏罢工者
- stepsn. （楼外的）台阶；步伐；步数；步幅（step 的复数） vi. 踏，踩；走（step 的第三人称单数） vt. 走，迈步； 竖立（桅杆）于桅座上（step 的第三人称单数）
- stenographern. 速记员
- statisticiann. 统计学家，统计员
- stagnationn. （一国经济的）不景气，停滞；（水）不流动
- springboardn. 跳板；出发点 vi. 利用跳板跃进
- shantytownn. 以临时搭盖的陋屋为主的地区
- sewern. 下水道，阴沟；缝纫工，缝纫机；（中世纪贵族宅邸中的）司膳管家 v. 为……铺设污水管道，用下水道排除……的污水；清洗污水管
- sculptorn. 雕刻家，雕塑家
- schoolingn. 学校教育；学费；（马术）训练马在平地比赛（或跨越障碍） v. 教育，培养；训练，使学会（school 的现在分词形式） 【名】 （Schooling）（英）斯库林（人名）
- schoolgirln. 女学生
- satcheln. 书包；小背包