Heo,Kihong先生;哦,哈乔;杨红seok 从静态分析生成的标记数据中学习Octagon的分析策略和上下文敏感性。 (英语) Zbl 1425.68070号 形式方法系统。设计。 53,第2期,189-220(2018).MSC公司:68号30 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Heo}等人,《形式方法系统》。设计。53,第2号,189--220(2018;Zbl 1425.68070) 全文: 内政部
Ko、Yoonseok;Heo,Kihong先生;哦,哈乔 用于详细语义分析的稀疏评估技术。 (英语) Zbl 1308.68043号 计算。语言系统。结构。 40,编号3-4,99-111(2014).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ko}等人,计算。语言系统。结构。40,编号3--4,99-111(2014;Zbl 1308.68043) 全文: 内政部