克里希南德·查特吉;安德烈亚斯·帕夫罗甘尼斯;纱线维纳 定量程序间分析。 （英语） Zbl 1345.68098号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。539-551 (2015). 引用于5文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：过程间分析;平均分摊和比率目标;内存膨胀;定量目标;静态剖析 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，in：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。539-551（2015；Zbl 1345.68098） 全文： 内政部