Chung Kil呼;德雷克·德雷尔 ML和汇编之间的Kripke逻辑关系。 （英语） Zbl 1284.68148号 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。133-146 (2011). 引用于14文件 MSC公司： 68N20型 编译与解释理论 03B70号 计算机科学中的逻辑 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68甲18 函数编程和lambda演算 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：双正交性;组合编译器正确性;垃圾收集;自修改代码;阶诱导Kripke逻辑关系 PDF格式BibTeX公司 XML格式引用 \textit{C.-K.Hur}和\textit{D.Dreyer}，摘自：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26-28日。纽约州纽约市：计算机协会（ACM）。133-146（2011年；Zbl 1284.68148） 全文： 内政部