Summary: A Practical Partial Evaluator for a
Multi­Paradigm Declarative Language ?
Elvira Albert 1 , Michael Hanus 2 , and Germ'an Vidal 1
1 DSIC, UPV, Camino de Vera s/n, E­46022 Valencia, Spain
fealbert,gvidalg@dsic.upv.es
2 Institut f¨ur Informatik, CAU Kiel, Olshausenstr. 40, D­24098 Kiel, Germany
mh@informatik.uni­kiel.de
Abstract. Partial evaluation is an automatic technique for program op­
timization which preserves program semantics. The range of its potential
applications is extremely large, as witnessed by successful experiences in
several fields. This paper summarizes our findings in the development of
partial evaluation tools for Curry, a modern multi­paradigm declarative
language which combines features from functional, logic and concurrent
programming. From a practical point of view, the most promising ap­
proach appears to be a recent partial evaluation framework which trans­
lates source programs into a maximally simplified representation. We
support this statement by extending the underlying method in order
to design a practical partial evaluation tool for the language Curry. The
process is fully automatic and can be incorporated into a Curry compiler
as a source­to­source transformation on intermediate programs. An im­

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

Collections: Computer Technologies and Information Sciences