文件名称：ML语言的验证实施CakeML.zip
文件大小：3.28MB
文件格式：ZIP
更新时间：2022-08-05 22:13:31
开源项目
CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言。CakeML是基于Standard ML 的重要子集。它的语义和编译器算法都强调高阶逻辑，并且已被证明是改造CakeML程序为语义等价的机器代码。我们使用HOL4的最新开发版本来搭建CakeML，我们在PolyML5.6上创建HOL (http://www.polyml.org)。示例构建指令可以在build-instructions.sh找到。 标签：CakeML