Choi,Kwanghoon公司;张,再见 Android程序中组件激活流的类型和效果系统。 (英语) Zbl 1366.68020号 信息处理。莱特。 114,第11号,620-627(2014).MSC公司:第68页第25页 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{K.Choi}和\textit{B.-M.Chang},Inf.过程。莱特。114、11号、620--627(2014;Zbl 1366.68020) 全文: 内政部
伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼 使用区域类型系统验证指针和字符串分析。 (英语) 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) 全文: 内政部