DMCA
A Constraint-based Partial Evaluator for Functional Logic Programs and its Application (1998)
Cached
Download Links
| Citations: | 12 - 0 self |
BibTeX
@TECHREPORT{Lafave98aconstraint-based,
author = {Laura Lafave},
title = {A Constraint-based Partial Evaluator for Functional Logic Programs and its Application},
institution = {},
year = {1998}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The aim of this work is the development and application of a partial evaluation procedure for rewriting-based functional logic programs. Functional logic programming languages unite the two main declarative programming paradigms. The rewriting-based computational model extends traditional functional programming languages by incorporating logical features, including logical variables and built-in search, into its framework. This work is the first to address the automatic specialisation of these functional logic programs. In particular, a theoretical framework for the partial evaluation of rewriting-based functional logic programs is defined and its correctness is established. Then, an algorithm is formalised which incorporates the theoretical framework for the procedure in a fully automatic technique. Constraint solving is used to represent additional information about the terms encountered during the transformation in order to improve the efficiency and size of the residual programs. ...
Keyphrases
functional logic program constraint-based partial evaluator theoretical framework rewriting-based functional logic program residual program partial evaluation procedure traditional functional programming language functional logic programming language automatic specialisation logical feature rewriting-based computational model main declarative programming paradigm logical variable built-in search automatic technique partial evaluation constraint solving additional information
