CakeMLML语言的验证实施

0粉丝
CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言。CakeML是基于Standard ML 的重要子集。它的语义和编译器算法都强调高阶逻
简介
CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言。CakeML是基于Standard ML 的重要子集。它的语义和编译器算法都强调高阶逻辑,并且已被证明是改造CakeML程序为语义等价的机器代码。我们使用HOL4的最新开发版本来搭建CakeML,我们在PolyML5.6上创建HOL (... 更多
其它信息
地区
不详
开源组织
所属分类
程序开发、 其他开发相关
授权协议
BSD
操作系统
跨平台
收录时间
2023-09-30
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐