Specialization of Functional Logic Programs Based on Needed Narrowing

Details Specialization of Functional Logic Programs Based on Needed Narrowing Specialization of Functional Logic Programs Based on Needed Narrowing

2004-03-09

arxiv.org/abs/cs/0403011v1

Computer Science

Programming Languages

48 pages. This paper has been accepted for publication in the Journal of Theory and Practice of Logic Programming. In contrast

Scientific paper

Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolution principle of logic languages. Needed narrowing is an optimal evaluation strategy which constitutes the basis of modern (narrowing-based) lazy functional logic languages. In this work, we present the fundamentals of partial evaluation in such languages. We provide correctness results for partial evaluation based on needed narrowing and show that the nice properties of this strategy are essential for the specialization process. In particular, the structure of the original program is preserved by partial evaluation and, thus, the same evaluation strategy can be applied for the execution of specialized programs. This is in contrast to other partial evaluation schemes for lazy functional logic programs which may change the program structure in a negative way. Recent proposals for the partial evaluation of declarative multi-paradigm programs use (some form of) needed narrowing to perform computations at partial evaluation time. Therefore, our results constitute the basis for the correctness of such partial evaluators.

Affiliated with

Also associated with

No associations

Rating

Specialization of Functional Logic Programs Based on Needed Narrowing 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 Specialization of Functional Logic Programs Based on Needed Narrowing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Specialization of Functional Logic Programs Based on Needed Narrowing will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-180587