Improving Size-Change Analysis in Offline Partial Evaluation

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
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

Keywords

Programming Languages

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/223142

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0903.2202
 http://arxiv.org/abs/0903.2202

Collections

arXiv