苏米特·古尔瓦尼;塔尔省列夫·阿米;穆利·萨吉夫 用于跟踪分区大小的组合框架。 (英语) Zbl 1315.68094号 2009年1月18日至24日,美国佐治亚州萨凡纳,POPL'09,第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-379-2)。239-251 (2009). 引用于9文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 第68季度55 计算理论中的语义学 关键词:合并分析;存储器安全;数值分析;集合分析;形状分析;空格边界;终止 软件:CSSV公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Gulwani}等人,in:第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL'09,佐治亚州萨凡纳,美国,2009年1月18-24日。纽约州纽约市:计算机协会(ACM)。239--251(2009年;Zbl 1315.68094) 全文: 内政部