| | |
Summary: Author: Elvira Albert
Title: Partial Evaluation of Multi-Paradigm Declarative
Languages: Foundations, Control, Algorithms and
EÆciency
Language of Presentation: English
Promotor: Profs. German Vidal and Mara Alpuente
Date of defense: April 2, 2001
Institution granting degree: Universidad Politecnica de Valencia, Spain
Abstract
Partial evaluation is an automatic technique for program optimization which pre-
serves program semantics. Optimization is achieved by specializing programs w.r.t.
parts of their input (hence also called program specialization). Informally, a partial
evaluator is a mapping which takes a program P and a function call C and derives a
more eÆcient, specialized program PC which computes the same values and answers
for C (and any of its instances) as P does. The range of its potential applications
is extremely large, as witnessed by many successful experiences, e.g., in the elds of
pattern recognition, neural network training, or scienti c computing. This technique
has been investigated in the context of a wide variety of declarative programming lan-
guages, specially in both the functional and logic programming paradigms. Recently,
a uni ed framework has been also introduced for the partial evaluation of languages
|
