摘要："Clight语言的形式语义学与CompCert验证编译器的集成"
作者：Sandrine Blazy (CEDRIC, INRIA Rocquencourt), Xavier Leroy (INRIA Rocquencourt)
论文ID：0901.3619
分类：Programming Languages
分类简称：cs.PL
提交时间：2009-09-18
PDF 下载： 英文版 中文版pdf翻译中