×

MLCompCert认证

swMATH ID: 22623
软件作者: Z.达尔盖伊
描述: MLCompCert是一个经过机械验证的前端,用于ML的纯功能片段到CompCert的后端。
主页: http://gallium.inria.fr/~dargaye/mlcompcert.html
依赖项: CompCert;毫升
相关软件: OCaml公司;G小调;cminor(小);CompCert公司;GHC公司;哈斯克尔;Coq公司
引用于: 1文件

0连载引用

在1个字段中引用

1 计算机科学(68-XX)

按年份列出的引文