高阶程序的内省下推分析
摘要：静态分析功能程序时，推入流分析和抽象垃圾回收仅在正确性和可决性的边界上运行。每个方法单独减少了分析时间，并通过数量级提高了准确性。这项工作揭示并克服了结合这些技术的理论挑战。婚姻这些技术的挑战并不微妙：计算推入系统的可达控制状态依赖于在转换过程中限制对栈顶的访问；另一方面，抽象垃圾回收需要完全访问整个堆栈以计算根集，就像具体回收一样。内省式推入系统解决了这个冲突。内省式推入系统提供足够的栈访问权限以允许抽象垃圾回收，但仍然受限制以计算控制状态的可达性，从而实现了推入分析和抽象垃圾回收的正确和精确的产品。实验揭示了这些技术之间的协同作用，并且融合展示了“胜过两者”的精确性。
作者：Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn
论文ID：1207.1813
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-07-10