Improving Size-Change Analysis in Offline Partial Evaluation

Simple item page
dc.creatorLeuschel, Michael
dc.creatorTamarit, Salvador
dc.creatorVidal, German
dc.date2009-03-12
dc.date.accessioned2026-07-07T12:51:55Z
dc.date.available2026-07-07T12:51:55Z
dc.descriptionSome 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.
dc.descriptionPaper 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
dc.identifierhttps://arxiv.org/abs/0903.2202
dc.identifierhttp://arxiv.org/abs/0903.2202
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/223142
dc.subjectProgramming Languages
dc.titleImproving Size-Change Analysis in Offline Partial Evaluation
dc.typetext

Files

Collections

arXiv