- 双语例句 更多例句
1、
本文基于Objective Caml语言，实现了安全协议进程代数描述到安全协议逻辑程序的自动转化。
互联网摘选
2、
libvirt支持最流行的系统编程语言（C和C++）、多种脚本语言、甚至一种统一的函数型语言（Objective caml）。
互联网摘选
- 今日热词
- 热门搜索
- radiation n.辐射;放射物;辐射状;分散;
- roof n.屋顶;车顶;顶部;有…顶的;洞顶;口腔顶部;隧道顶;天花板;上腭;v.给…盖顶;盖上屋顶
- religion n.宗教;支配自己生活的大事;教派;心爱的事物;
- sky angel blue 蓝光天使；蓝光天使再临
- ironman abbr. 铁人;improving reliability on new machines at night testing (program) 根据夜战试验改进新装备可靠性（计划）
- shell n.（贝、卵、坚果等的）壳;外壳;炮弹;（人的）表面性格;vt.去壳，脱落;炮击;
- singleton n.一个，独身，单独;
- associate v.联想，联系;使与（某个组织、事业或观点）有关系;公开支持;与…交往;
- let me do it for you 让我来替你做;让我来帮你吧
- corner n.角;墙角，壁角;街角;(书本、皮夹等的)包角;嘴角，眼角;涉及…群体的;（道路的）急转弯;角落, 冷僻处;边远处，隐秘的地方;区域，地区;困境;绝路;垄断，大量买进，囤积居奇;（足球、曲棍球等的）角球;(拳击场、球场等的)场角v.将…放在(或塞进)角落;使(人或动物)走投无路;逼…入绝境;迫使（某人做某事）;硬要走近想与(某人)说话;垄断(某种货品的交易);垄断，大量买进，囤积;（车辆）转弯;相交成角
- sale n.销售（量）;特价销售，拍卖;
- EGY abbr.Egypt 埃及;Egypt (whose capital is Cairo) 埃及（首都是开罗）;Egyptian 埃及的;埃及人（的）;
