离线部分评估中尺寸变化分析的改进
Improving Size-Change Analysis in Offline Partial Evaluation
摘要：
逻辑程序的可扩展离线部分评估的一些最近的方法包括用于确保所谓的局部和全局终止的大小变化分析。在这项工作中|受实验评估的启发|我们引入了几种改进，这些改进可以增加分析的准确性，从而提高相关专门程序的质量。我们的目标是实现这一点，同时保持相同的复杂性和可扩展性的最近的作品。
英文摘要：
Some recent approaches for scalable offline partial evaluation of logic programs include a size-change analysis for ensuring both so called local and global termination. In this work|inspired by experimental evaluation|we introduce several improvements that may increase the accuracy of the analysis and, thus, the quality of the associated specialized programs. We aim to achieve this while maintaining the same complexity and scalability of the recent works.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
