伦纳特·贝林格；罗伯特·格拉博夫斯基；马丁·霍夫曼 使用区域类型系统验证指针和字符串分析。 （英语） 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） 全文： 内政部
伦纳特·贝林格；罗伯特·格拉博夫斯基；马丁·霍夫曼 使用区域类型系统验证指针和字符串分析。 （英语） Zbl 1253.68092号 Clarke，Edmund M.（编辑）等人，《编程逻辑、人工智能和推理》。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17510-7/pbk）。计算机科学课堂讲稿6355。人工智能课堂讲稿，82-102（2010）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer}等人，Lect。注释计算。科学。6355，82-102（2010；Zbl 1253.68092） 全文： 内政部