×
安德鲁·麦克里特;蒂姆·骑士;安德鲁·托尔马赫

编译和执行垃圾收集语言的认证框架。 （英文） Zbl 1323.68136号

2010年9月27日至29日，美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-794-3）。ACM SIGPLAN Notices 45，No.9，273-284（2010）。

引用于5文件

MSC公司：

68甲18 函数编程和lambda演算
68N20型 编译与解释理论
68吨15 定理证明（演绎、解析等）（MSC2010）

关键词：

经核证的汇编;垃圾收集;Haskell编译;程序证明;Coq定理证明器

软件：

GHC公司;哈斯克尔;Coq公司;cminor（小）;OCaml公司;CompCert公司;MLCompCert认证;G小调
PDF格式BibTeX公司 XML格式引用
\textit{A.McCreight}等人，in：第15届ACM SIGPLAN函数编程国际会议论文集，ICFP’10，美国马里兰州巴尔的摩，2010年9月27日至29日。纽约州纽约市：计算机协会（ACM）。273--284（2010年；Zbl 1323.68136）
全文： 内政部