-
1、
本文基于Objective Caml语言，实现了安全协议进程代数描述到安全协议逻辑程序的自动转化。
来源：互联网摘选 -
2、
libvirt支持最流行的系统编程语言（C和C++）、多种脚本语言、甚至一种统一的函数型语言（Objective caml）。
来源：互联网摘选
- 相关阅读
-
中考英语作文范文12篇（带中文）
简答网 · 中考英语
-
Little Mix乐队前成员Jesy Nelson官宣怀双胞胎
简答网 · 双语娱乐资讯
-
七年级下册英语第十一单元作文范文：参观红星农场
简答网 · 初中英语作文
-
Mikey Madison获封影后，《阿诺拉》成奥斯卡最大赢家！
简答网 · 双语娱乐资讯
-
高考英语阅读理解真题92(含答案解析)
简答网 · 高考英语
-
皮特·戴维森又双叒叕恋爱啦！女方是傻脸娜未婚夫的前女友！
简答网 · 双语娱乐资讯