Summary: 3
3
x
--
33
x -- 33 x
f g
driving
Abstract
1 Introduction
Multi­Paradigm Logic Programming
M. Alpuente M. Falaschi P. Juli'an G. Vidal
Call­by­Name Specialization of
Functional Logic Programs
This work has been partially supported by CICYT TIC 95­0433­C03­03 and by HCM project CONSOLE.
DSIC, UPV, Camino de Vera s/n, 46071 Valencia, Spain. e.mail: alpuente,gvidal @dsic.upv.es.
Dip. Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy. falaschi@dimi.uniud.it.
Dep. de Inform'atica, Ronda de Calatrava s/n, 13.071 Ciudad Real, Spain. pjulian@inf­cr.uclm.es.
Partial evaluation is a method for program specialization based on fold/unfold transfor­
mations [4, 15]. Partial evaluation of functional programs uses only static values of given

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

Collections: Computer Technologies and Information Sciences