Improving Size-Change Analysis in Offline Partial Evaluation
Programming Languages
2009-03-13 v1
Abstract
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.
Cite
@article{arxiv.0903.2202,
title = {Improving Size-Change Analysis in Offline Partial Evaluation},
author = {Michael Leuschel and Salvador Tamarit and German Vidal},
journal= {arXiv preprint arXiv:0903.2202},
year = {2009}
}
Comments
Paper presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-No: WLPE/2008). Paper submitted by a co-editor of the Workshop proceedings