Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
1 Introduction Narrowingdriven Partial Evaluation of
 

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