CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言。
CakeML是基于StandardML 的重要子集。它的语义和编译器算法都强调高阶逻辑，并且已被证明是改造CakeML程序为语义等价的机器代码。
我们使用HOL4的最新开发版本来搭建CakeML，我们在PolyML5.6上创建HOL (https://www.polyml.org)。
示例构建指令可以在build-instructions.sh找到。
点击空白处退出提示
CakeML ML语言的验证实施开源项目
我要开发同款作品详情
声明：本文仅代表作者观点，不代表本站立场。如果侵犯到您的合法权益，请联系我们删除侵权资源！如果遇到资源链接失效，请您通过评论或工单的方式通知管理员。未经允许，不得转载，本站所有资源文章禁止商业使用运营!
评论