Opening book details…
Can I read Cost-augmented Narrowing-driven Specialization on EtoBox?
Cost-augmented Narrowing-driven Specialization by Germán Vidal is a Computer Science article available to read on EtoBox.
What is Cost-augmented Narrowing-driven Specialization about?
The aim of many program transformers is to improve efficiency while preserving program meaning. Correctness issues have been dealt with extensively. However, very little attention has been paid to formally establish the improvements achieved by these transformers. In this work, we introduce the scheme of a narrowing-driven partial evaluator enhanced with abstract costs. They are "abstract" in the sense that they measure the number of __basic__ operations performed during a computation rather than actual execution times. Thus, we have available a setting in which one can discuss the effects of the program transformer in a precise framework and, moreover, to quantify these effects. Our scheme may serve as a basis to develop speedup analyses and cost-guided transformers. An implementation of the cost-augmented specializer has been undertaken, which demonstrates the practicality of our approach.
Who reads Cost-augmented Narrowing-driven Specialization?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Germán Vidal
- Publisher
- ACM
- Published
- 2002
- Language
- EN
- Field
- Computer Science (Physical Sciences)