×
拉马纳·库马尔；玛格努斯·奥·米林。；迈克尔·诺里什；斯科特·欧文斯

Cakeml，ML的验证实现。 （英语） Zbl 1284.68405号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。179-191 (2014).

引用于46文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68号30 软件工程的数学方面（规范、验证、度量、需求等）
68吨15 定理证明（演绎、解析等）（MSC2010）
68N20型 编译与解释理论

关键词：

毫升；编译器引导；编译器验证；机器代码验证；read-eval-print循环；已验证的垃圾收集；验证的解析；验证类型检查

软件：

蛋糕ML；霍尔
PDF格式BibTeX公司 XML格式引用
\textit{R.Kumar}等人，摘自：第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。179-191（2014年；Zbl 1284.68405）
全文： 内政部