分享的三种优化
摘要：改进精度和效率共享分析应跟踪自由度和线性度。这些混合域的抽象一体化算法是次优的，因此有改进精度的空间。本文提出了三种优化方法来追踪与自由度和线性度相结合的共享。一种新颖的等式与共享抽象之间的联系被用来在有理树存在的情况下确定这些优化的正确性。还提出了一种修剪中间共享抽象以提高效率的方法。这些优化是轻量级的，因此对于实现者来说，这些优化方法中的一些，甚至全部，可能都很有兴趣。
作者：Jacob M. Howe and Andy King
论文ID：cs/0203022
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23