| | |
Summary: CostAugmented NarrowingDriven Specialization
Germ ’
an Vidal
DSIC, Technical University of Valencia
Camino de Vera s/n
E46022 Valencia, Spain
gvidal@dsic.upv.es
ABSTRACT
The aim of many program transformers is to improve eÆ-
ciency while preserving program meaning. Correctness is-
sues have been dealt with extensively. However, very lit-
tle attention has been paid to formally establish the im-
provements achieved by these transformers. In this work,
we introduce the scheme of a narrowing-driven partial eval-
uator enhanced with abstract costs. They are \abstract"
in the sense that they measure the number of basic oper-
ations performed during a computation rather than actual
execution times. Thus, we have available a setting in which
one can discuss the e ects of the program transformer in a
precise framework and, moreover, to quantify these e ects.
|
