Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Cost-Augmented Narrowing-Driven Specialization German Vidal
 

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 effi-
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 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 anal-

  

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