Improving Size-Change Analysis in Offline Partial Evaluation

Details Improving Size-Change Analysis in Offline Partial Evaluation Improving Size-Change Analysis in Offline Partial Evaluation

2009-03-12

arxiv.org/abs/0903.2202v1

Computer Science

Programming Languages

Paper presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-No: WLPE/2008). Pap

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Improving Size-Change Analysis in Offline Partial Evaluation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Improving Size-Change Analysis in Offline Partial Evaluation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Improving Size-Change Analysis in Offline Partial Evaluation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-36753