Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
permissions@acm.org partial evaluation
 

Summary: permissions@acm.org
partial evaluation
program specialization
A Unifying View of Functional and Logic Program
Specialization
MAR ' IA ALPUENTE
Universidad Polit'ecnica de Valencia, Spain
and
MORENO FALASCHI
Universit`a di Udine, Italy
and
GERM '
AN VIDAL
Universidad Polit'ecnica de Valencia, Spain
1. FUNCTIONAL LOGIC PROGRAM SPECIALIZATION
The aim of (PE) is to specialize a given program w.r.t. part of its
input data (hence also called ). PE has been widely applied in
the field of functional programming [5; 10] and logic programming [7; 13]. Although
the objectives are similar, the general methods are often different due to the distinct
underlying computation models. This separation has the negative consequence

  

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

 

Collections: Computer Technologies and Information Sciences