Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Transformation System for Lazy Functional Logic Programs ?
 

Summary: A Transformation System for Lazy Functional
Logic Programs ?
Mar'ia Alpuente 1 , Moreno Falaschi 2 , Gin'es Moreno 3 , and Germ'an Vidal 1
1 DSIC, UPV, Camino de Vera s/n, 46022 Valencia, Spain.
falpuente,gvidalg@dsic.upv.es
2 Dip. Mat. e Informatica, U. Udine, 33100 Udine, Italy. falaschi@dimi.uniud.it
3 Dep. Inform'atica, UCLM, 02071 Albacete, Spain. gmoreno@info­ab.uclm.es
Abstract. Needed narrowing is a complete operational principle for
modern declarative languages which integrate the best features of (lazy)
functional and logic programming. We define a transformation methodol­
ogy for functional logic programs based on needed narrowing. We provide
(strong) correctness results for the transformation system w.r.t. the set
of computed values and answer substitutions and show that the promi­
nent properties of needed narrowing --namely, the optimality w.r.t. the
length of derivations and the number of computed solutions-- carry over
to the transformation process and the transformed programs. We illus­
trate the power of the system by taking on in our setting two well­known
transformation strategies (composition and tupling). We also provide an
implementation of the transformation system which, by means of some
experimental results, highlights the benefits of our approach.

  

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