Lee,Oukseh先生;杨红seok;Yi,Kwangkeun先生 在类ML程序中静态插入安全有效的内存重用命令。 (英语) Zbl 1088.68542号 科学。计算。程序。 58,编号1-2,141-178(2005).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{O.Lee}等人,科学。计算。程序。58,第1-2141-178号(2005年;兹bl 1088.68542) 全文: DOI程序
Yi,Kwangkeun先生 用于估计标准ML程序中未捕获异常的抽象解释。 (英语) Zbl 0941.68022号 科学。计算。程序。 31,第1期,第147-173页(1998年).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Yi},科学。计算。程序。31,第1号,147--173(1998;Zbl 0941.68022) 全文: DOI程序