ML语言的验证实施 CakeML

• 授权协议: BSD
• 开发语言:
• 操作系统: 跨平台
• 软件首页: https://cakeml.org/
• 软件文档: https://github.com/CakeML/cakeml
• 官方下载: https://github.com/CakeML/cakeml.git

软件介绍

CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言。

CakeML是基于Standard ML 的重要子集。它的语义和编译器算法都强调高阶逻辑，并且已被证明是改造CakeML程序为语义等价的机器代码。

我们使用HOL4的最新开发版本来搭建CakeML，我们在PolyML5.6上创建HOL (http://www.polyml.org)。

示例构建指令可以在build-instructions.sh找到。

本文地址：https://codercto.com/soft/d/17026.html