Improving Size-Change Analysis in
Michaël Leuschel, Salvador Tamarit, Germán Vidal · 2008
Some recent approaches for scalable oine partial evalua- tion of logic programs include a size-change analysis for ensuring both so called local and global termination. In this work—inspired by experimen- tal evaluation—we introduce several improvements that may increase the accuracy of the analysis and, thus, the quality of the associated spe- cialized programs. We aim to achieve this while maintaining the same complexity and scalability of the recent works.