MLCompCert认证 swMATH ID: 22623 软件作者: Z.达尔盖伊 描述: MLCompCert是一个经过机械验证的前端,用于ML的纯功能片段到CompCert的后端。 主页: http://gallium.inria.fr/~dargaye/mlcompcert.html 依赖项: CompCert;毫升 相关软件: OCaml公司;G小调;cminor(小);CompCert公司;GHC公司;哈斯克尔;Coq公司 引用于: 1文件 3位作者引用 1 蒂姆·骑士 1 安德鲁·麦克里特 1 安德鲁·托尔马赫 0连载引用 在1个字段中引用 1 计算机科学(68-XX) 按年份列出的引文