• 2026年06月23日 23:10:30
  • 星期二
精确
  • 模糊
  • 词首
  • 词尾
  • 词义
  • 例句
1、

This paper uses the Objective Caml language, and automatically translates the description of process algebra for Security protocols into relative logic programs.

本文基于Objective Caml语言，实现了安全协议进程代数描述到安全协议逻辑程序的自动转化。

互联网摘选

2、

Libvirt supports the most popular system programming languages ( C and C++), a variety of scripting languages, and even a unified functional language ( Objective caml).

libvirt支持最流行的系统编程语言（C和C++）、多种脚本语言、甚至一种统一的函数型语言（Objective caml）。

互联网摘选

  • 今日热词
  • 热门搜索
推荐阅读 更多>
CAML相关阅读 中考英语作文范文12篇（带中文） CAML相关阅读 Little Mix乐队前成员Jesy Nelson官宣怀双胞胎 CAML相关阅读 七年级下册英语第十一单元作文范文：参观红星农场 CAML相关阅读 Mikey Madison获封影后，《阿诺拉》成奥斯卡最大赢家！ CAML相关阅读 高考英语阅读理解真题92(含答案解析) CAML相关阅读 皮特·戴维森又双叒叕恋爱啦！女方是傻脸娜未婚夫的前女友！
分类词汇 更多>

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译、英语词典、单词大全、英译汉、汉译英等英语服务！可按单词头尾、字数和词义分类查询。支持lj:关键词格式查询例句。

英语词典 | 英语阅读 | 高考英语 | 商务英语 | 汉语字典 | 汉语词典 | 成语词典 | 拼音查字典 | 部首查字典 | 笔画查字典 | 常用字大全 | 次常用字表 | 多音字大全 | 现通表汉字 | 标准字体表 | 拼音转换器

汉语 | 古诗 | 近反 | 拼音 | 转换 | 组词 | 词典 | 造句 |
最新热词: Yp | shake | fear | wearside | squeeze | act | twenty-first | beneficial | ourplay | complication | feel | sleepwalker | 布洛芬 | borrow | ski

简答网学习工具软件为大家提供英语词典、汉语词典、成语词典、拼音转换等多种学习工具，如果您有任何问题欢迎与我们取得联系。客服QQ:3930814900(微信同号)

简答网为您提供英语词典、汉语字典、汉语词典、成语词典，汉语拼音查询，近反义词查询，汉字组词等在线服务。

最新热词: Yp | shake | fear | wearside

首页| 英语词典| 汉语词典| 成语词典| 新华字典| 拼音转换| 反馈

友链合作、程序开发等问题联系QQ:3930814900

www.jiandongshicai.cn ©2026

用户反馈
请选择反馈类型（可多选）：
您的联系方式：(如需回复请填写联系方式)
反馈内容：
提交成功 小编会尽快处理
回到顶部
点击反馈