摘要
E.Albert、P.Arenas、S.Genaim、M.Gómez-Zamalloa和G.Puebla。 并发OO程序的成本分析。 程序中。 APLAS’11，LNCS。 施普林格，2011年。 出现。 谷歌学者 
数字图书馆 
E.Albert、P.Arenas、S.Genaim、G.Puebla和D.Zanardini。 面向对象字节码程序的成本分析。 理论计算机科学，2011年。 出现。 谷歌学者 数字图书馆 A.Bossi、N.Cocco和M.Fabris。利用术语属性证明逻辑程序的终止。 程序中。 TAPSOFT’91，LNCS 494，第153-180页。 施普林格，1991年。 谷歌学者 数字图书馆 B.Cook、A.Podelski和A.Rybalchenko。 证明线程终止。 程序中。 PLDI’07第320-330页。 ACM，2007年。 谷歌学者 数字图书馆 P.Cousot和N.Halbwachs。 程序变量间线性约束的自动发现。 程序中。 POPL'78，第84-97页。 ACM出版社，1978年。 谷歌学者 数字图书馆 F.S.de Boer、D.Clarke和E.B.Johnsen。 未来指南。 程序中。 《员工持股计划》2007年第4421卷，第316-330页。 施普林格，2007年。 谷歌学者 数字图书馆 S.Gulwani、K.K.Mehra和T.M.Chilimbi。速度：程序计算复杂性的精确和有效静态估计。 程序中。 第127-139页。 ACM，2009年。 谷歌学者 数字图书馆 M.Hofmann J.Hoffmann，K.Aehlig。 多元摊销资源分析。 程序中。 第357-370页。 ACM，2011年。 谷歌学者 数字图书馆 E.B.Johnsen、R.H“ahnle，J.Sch”afer、R.Schlatte和M.Steffen。 ABS：抽象行为规范的核心语言。 程序中。 FMCO’10，LNCS。 施普林格，2011年。 出现。 谷歌学者 数字图书馆 E.B.Johnsen和O.Owe。 分布式并发对象的异步通信模型。 软件与系统建模，6（1）：35-582007。 谷歌学者 交叉引用 
J.Schäfer和A.Poetzsch-Heffter。 Jcobox：将活动对象泛化为并发组件。 程序中。 ECOOP’10，LNCS第6183卷，第275-299页。 施普林格，2010年。 谷歌学者 数字图书馆 B.韦格布雷特。 机械程序分析。 ACM委员会，18（9），1975年。 谷歌学者 数字图书馆
建议
MayPar：并发对象的may-happen并行分析器 FSE’12:ACM SIGSOFT第20届软件工程基础国际研讨会论文集 我们介绍了MayPar的概念、用法和原型实现 may-happen平行 基于的分布式异步语言的（MHP）静态分析器 并发对象 。我们的工具允许分析应用程序并找出。。。 要分析的并行稀疏流敏感点 CC 2018：第27届编译器构造国际会议论文集 本文旨在从精度、可扩展性和性能的综合角度，为指针（或指向）分析算法的进一步发展做出贡献。 为了精确性，我们旨在支持程序间ow-sensitive分析。 对于。。。
