Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
CostAugmented NarrowingDriven Specialization DSIC, Technical University of Valencia
 

Summary: Cost­Augmented Narrowing­Driven Specialization 
Germ ’
an Vidal
DSIC, Technical University of Valencia
Camino de Vera s/n
E­46022 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.

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València
Vidal, Germán - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences