Lee，Oukseh先生;Yi，Kwangkeun先生;白云香 模块化0CFA正确性的证明方法。 （英语） Zbl 1005.68511号 信息处理。莱特。 81，第4期，179-185（2002）. MSC公司： 68N20型 编译与解释理论 68甲18 函数编程和lambda演算 关键词：控制流分析;函数式语言;单独编译;静态分析;形式语义学 PDF格式BibTeX公司 XML格式引用 \textit{O.Lee}等人，《信息处理》。莱特。81，第4号，179--185（2002；Zbl 1005.68511） 全文： DOI程序 参考文献： [1] O.Shivers，高阶语言的控制流分析，卡内基梅隆大学博士论文，技术报告CMU-CS-91-1451991年5月；O.Shivers，高阶语言的控制流分析，卡内基梅隆大学博士论文，技术报告CMU-CS-91-1451991年5月 [2] 海因策，N。；McAllester，D.，线性时间次传递控制流分析，（SIGPLAN编程语言设计与实现会议论文集（1997）），261-272 [3] 尼尔森，F。；Nielson，H.R.，《无限控制流分析：闭包分析的收集语义》（1997年ACM SIGPLAN-SIGACT编程语言原理研讨会论文集），332-345 [4] K.Yi，S.Ryu，标准ML程序中未捕获异常的成本效益估计，理论计算。科学。，出现；[5]的扩展版本；K.Yi，S.Ryu，标准ML程序中未捕获异常的成本效益估计，理论计算。科学。，出现；[5]的扩展版本·Zbl 0996.68029号 [5] Yi，K。；Ryu，S.，《SML程序中未捕获异常的成本效益估算》，（van Hentenryck，P.，第四届国际静态分析研讨会论文集，第四次国际静态分析会议论文集，计算科学讲稿，1302（1997），施普林格：施普林格柏林），98-113 [6] K.Yi，S.Ryu，SML/NJ异常分析器0.98，URLhttp://compiler.kaist.ac.kr/pub/exna/exna-README.html; K.Yi，S.Ryu，SML/NJ异常分析器0.98，URLhttp://compiler.kaist.ac.kr/pub/exna/exna-README.html [7] 阿佩尔·A·W。；MacQueen，D.B.，标准ML的单独汇编，（SIGPLAN编程语言设计与实现会议记录（1994）），13-23 [8] 弗拉纳根，C。；Felleisen，M.，组件集分析，ACM Trans。掠夺。语言系统。，21, 2, 370-416 (1999) [9] 米尔纳，R。；Tofte，M.，关系语义学中的共归纳，理论。计算。科学。，87, 209-220 (1991) ·Zbl 0755.68100号 [10] 李，O。；Yi，K.，模块化CFA正确性的证明方法，技术备忘录ROPAS-2000-9，程序分析系统研究（2000年11月），韩国高级科学技术研究院，URLhttp://ropas.kaist.ac.kr/memo/LeYi2000b.ps.gz [11] Wright，A.K。；Jagannathan，S.，《多态分裂：一种有效的多变量流分析》，ACM Trans。掠夺。语言系统。，20, 1, 166-207 (1998) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。