论文标题
将专业与抽象解释相结合的实验
An Experiment Combining Specialization with Abstract Interpretation
论文作者
论文摘要
以前证明，可以通过结合基于财产的抽象的程序专业人物来实现控制流的完善，以改善终止和复杂性分析工具。我们现在表明，可以更模块化的方式重建了该专用的专业制度，并且可以使用应用于抽象解释器的现成部分评估工具来实现先前的结果。抽象解释器的关键特征是抽象域，它是基于属性的抽象域与混凝土域的产物。这种独立于语言的框架为实施各种强大的专业人士提供了一种实用的方法，并为使用口译员和专业化以实现计划转换的研究做出了贡献。
It was previously shown that control-flow refinement can be achieved by a program specializer incorporating property-based abstraction, to improve termination and complexity analysis tools. We now show that this purpose-built specializer can be reconstructed in a more modular way, and that the previous results can be achieved using an off-the-shelf partial evaluation tool, applied to an abstract interpreter. The key feature of the abstract interpreter is the abstract domain, which is the product of the property-based abstract domain with the concrete domain. This language-independent framework provides a practical approach to implementing a variety of powerful specializers, and contributes to a stream of research on using interpreters and specialization to achieve program transformations.
