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.

中文翻译：

---

专业化与抽象解读相结合的实验

之前已经表明，控制流细化可以通过包含基于属性的抽象的程序专门化器来实现，以改进终止和复杂性分析工具。我们现在表明，可以以更加模块化的方式重建这个专门构建的专业化器，并且可以使用现成的部分评估工具来实现先前的结果，该工具应用于抽象解释器。抽象解释器的关键特征是抽象域，它是基于属性的抽象域与具体域的产物。这个独立于语言的框架提供了一种实用的方法来实现各种强大的专业化，并有助于使用解释器和专业化来实现程序转换的研究流。