普罗恩佐斯,迪米特里奥斯;罗马人Manevich;基沙夫·平加里;凯瑟琳·麦金利。 用于优化并行图程序的形状分析。 (英语) Zbl 1284.68196号 2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-0490-0)。159-172 (2011). 引用于1文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 68瓦10 计算机科学中的并行算法 关键词:抽象解释;无定形数据平行性;谨慎的操作员;编译器优化;并发;非常规节目;乐观并行化;平行度;形状分析;静态分析;同步开销 软件:自动锁存器 PDF格式BibTeX公司 XML格式引用 \textit{D.Prountzos}等人,in:第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL'11,美国德克萨斯州奥斯汀,2011年1月26日至28日。纽约州纽约市:计算机协会(ACM)。159-172(2011年;Zbl 1284.68196) 全文: DOI程序