帕特里克·库索;拉迪亚·库索特;弗朗西斯科·洛戈佐 一个参数分割函子,用于全自动和可扩展的数组内容分析。 (英语) 兹比尔1284.68210 2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0490-0)。105-118 (2011). 引用于15文件 MSC公司: 68第05页 数据结构 68号30 软件工程的数学方面(规范、验证、度量、需求等) 关键词:抽象解释;数组抽象;数组内容分析;数组属性推断;不变综合;程序验证;静态分析 软件:艾菲尔;布吉;z3(零3);规格#;ASTREE公司;FunArray(趣味阵列) PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}等人,in:第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL'11,美国德克萨斯州奥斯汀,2011年1月26日至28日。纽约州纽约市:计算机协会(ACM)。105-118(2011年;Zbl 1284.68210) 全文: 内政部