刘江超;对手,泽维尔 基于非连续分区的数组内容静态分析。 (英语) Zbl 1379.68096号 计算。语言系统。结构。 47,第1部分,104-129(2017).理学硕士:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}和\textit{X.对手},计算。语言系统。结构。47,第1部分,104--129(2017;Zbl 1379.68096) 全文: 内政部 哈尔
城市,卡特里娜;安托万·米内 通过抽象解释证明时间属性的排序函数推断。 (英语) Zbl 1379.68101号 计算。语言系统。结构。 47,第1部分,77-103(2017).理学硕士:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Urban和\textit{A.Miné},计算。语言系统。结构。47,第1部分,77--103(2017;Zbl 1379.68101) 全文: 内政部 哈尔
安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏 基于语言转换的符号执行。 (英语) 兹比尔1387.68047 计算。语言系统。结构。 44,A部分,48-71(2015).理学硕士:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Arusoaie}等人,计算。语言系统。结构。44,A部分,48--71(2015;Zbl 1387.68047) 全文: 内政部 哈尔
尼科斯·齐夫列科斯 用状态表示简单语言中的程序等价性。 (英语) Zbl 1248.68155号 计算。语言系统。结构。 38,第2期,181-198(2012).理学硕士:68号30 68问题85 68问题55 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{N.Tzevelekos},计算。语言系统。结构。38,第2号,181--198(2012;Zbl 1248.68155) 全文: 内政部