帮忙翻译一段英文论文，100分高分急求！！！

帮忙翻译一段英文论文，100分高分急求！！！

锋利的[22]提出了并不是预先计算的方法
摘要图书馆func -型和依赖分析
这变化很少。我们的方法是正交的
它致力于识别和传播他们的ef -变化
比较了整个代码分析。Rountev等[19]。
讨论如何计算更简洁的摘要库
通用的IDE问题。将这些结果集成到我们的
增量求解未来的工作。我们设想
使用总结当调用库都改变了,但是
不是图书馆,以免repropagate
变化通过完整的图书馆。
特里普等。[25]eciently更新数据
雪的结果
更换程序整体控制
雪图和指针
需求分析与当地信息计算
污染传播。这消除了需要重新计算
这些数据结构当目标的变化。为
数据-
雪的事实,他们的仙女座计算工具
传递闭包的事实
影响代码更改,
删除它们,然后开始重新计算。而
后者是非常接近clear-and-propagate校订者
方法,校订者只删除跳转功能需求
早些时候,因此可以中止如果它检测到跳转功能
将以完全相同的方式重建,即。,它不
删除函数,仅仅因为可能不会改变
他们在改变的传递依赖集。
Eichberg et al。[6]使用增量提出评价
更新分析结果推断逻辑语言。这
翻译方法有成本的支持
克图Prolog的事实,取决于性能
底层通用的推理引擎。