Summary: ?
?
f g
1
2
1 2 1
Abstract.
1 Introduction
Narrowing­driven Partial Evaluation of
Functional Logic Programs
M. Alpuente and M. Falaschi and G. Vidal
Narrowing is the computation mechanism of languages that integrate functional
and logic programming [27]. Narrowing solves equations by computing unifiers
w.r.t. an equational theory usually described by means of a (conditional) term
rewriting system. Function definition and evaluation are thus embedded within
a logical framework and features such as existentially quantified variables, uni­
fication and program inversion become available.
Program transformation aims to derive better semantically equivalent pro­
grams. Partial evaluation (PE) is a program transformation technique which
consists of the specialization of a program w.r.t. parts of its input [9]. The main

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

Collections: Computer Technologies and Information Sciences