- 双语例句 更多例句
1、
基于变量抽象，我们定义了部分最强后置条件，进而定义了程序的保守近似语义。
互联网摘选
2、
So, this paper addresses how to define program semantics on dynamic data structures.
本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。
互联网摘选
3、
4、
部分最弱前置条件是程序保守近似语义的另一种表示方法，同样基于变量抽象定义。
互联网摘选
5、
6、
在连续离散混合时间模型中考虑Verilog的语义行为，将混合模型中的一个区间作为Verilog程序一次运行过程的指称。
互联网摘选
7、
作为该类编程技术的核心，Answer Set语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。
互联网摘选
- 相关词组
- sustaining programn.<美>非营业性的独立节目;非商业节目;
- generalized sort program通用分类程序
- inflation indemnity program通货膨胀补偿计划
- uranium enrichment program铀浓缩计划;
- united nations development program联合国开发计划署; 开发计划署; 联合国发展计划署; 联合国发展计划; 联合国开发计划处;
- general translation program通用翻译程序
- program directorn.节目部主任，计划主持人;
- attitude awareness and change program态度意识和改变计划;态度认知与改动计划
- important spare-parts program重要备件计划
- modularized program模块化程序;
- generative semantics生成语义学
- problem program问题程序;
- general-purpose application program通用应用程序
- independent program loader独立程序装入程序
- industrial management program工业管理程序
- TV programn.电视节目;
- generator program(程序)生成程序
- World Food Program世界粮食计划署
- drawing program放矿计划;
- program musicn.标题音乐，描写音乐;
- 今日热词
- 热门搜索
- loose adj.松动的;零散的;不受束缚的;宽松的;披散的;疏松的;随便的;意义含糊的;放荡的;无球员控制的;稀的;v.发射（子弹等）;松开;释放;
- listen vi. 倾听;留心听;听信;（让对方注意）听着;n. 听，倾听;
- Nagoya 名古屋（日本本州岛中南岸港市）;
- painter n.画家，着色者;油漆匠;（系船的）缆绳;
- antistress 抗应激;反应力的;反应力;甲戊炔醇
- across prep.穿过;横穿，横过;与…交叉;在…对面;adv.横过，越过;在对面;交叉;斜对面;
- When You Are Old 当你老的时候;当你老了;当你老去时;当你年老时
- temperament n.性格;（人或动物的）气质;易冲动;（性情）暴躁;
- dissatisfy vt.使不满意，使不满足;使失望;
- century n.世纪;一百年;
- fortnight n.两星期，十四天;
- vagrants n.流浪者( vagrant的名词复数 );<律>无业游民;乞丐;无赖;
