Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Specialization of Lazy Functional Logic Programs *
 

Summary: 



Specialization of


Lazy Functional Logic Programs *



M. Alpuentex M. Falaschi{ P. Juli'an** G. Vidalyy


Abstract
Partial evaluation is a method for program specialization based on fold/*
*unfold trans-
formations [7, 23]. Partial evaluation of pure functional programs uses ma*
*inly static
values of given data to specialize the program [14, 38]. In logic program*

  

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

 

Collections: Computer Technologies and Information Sciences