## Cost-Augmented Partial Evaluation of Functional Logic Programs (2004)

### Cached

### Download Links

- [www.dsic.upv.es]
- [www.dsic.upv.es]
- [users.dsic.upv.es]
- DBLP

### Other Repositories/Bibliography

Venue: | Higher-Order and Symbolic Computation |

Citations: | 4 - 2 self |

### BibTeX

@INPROCEEDINGS{Vidal04cost-augmentedpartial,

author = {German Vidal},

title = {Cost-Augmented Partial Evaluation of Functional Logic Programs},

booktitle = {Higher-Order and Symbolic Computation},

year = {2004},

pages = {1--2}

}

### OpenURL

### Abstract

We enhance the narrowing-driven partial evaluation scheme for lazy functional logic programs with the computation of symbolic costs. The enhanced scheme allows us to estimate the e#ects of the program transformer in a precise framework and, moreover, to quantify these e#ects. The considered costs are "symbolic " in the sense that they measure the number of basic operations performed during a computation rather than actual execution times. Our scheme may serve as a basis to develop speedup analyses and cost-guided transformers. A cost-augmented partial evaluator, which demonstrates the usefulness of our approach, has been implemented in the multi-paradigm language Curry.