Lennart贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼 使用区域类型系统验证指针和字符串分析。 (英语) Zbl 1290.68034号 计算。语言系统。结构。 39,第2号,49-65(2013).MSC公司:68号30 60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer}等人,计算。语言系统。结构。39、第2号、第49-65号(2013;Zbl 1290.68034) 全文: DOI程序
Lennart贝林格 关系字节码相关性。 (英语) Zbl 1204.68070号 J.日志。阿尔盖布。程序。 79,第7期,483-514(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer},J.Log(简·洛格)。阿尔盖布。程序。79,编号7483-514(2010年;Zbl 1204.68070) 全文: DOI程序