| | |
Summary: A Partial Evaluation Tool for
Multi-Paradigm Declarative Languages
Germ´an Vidal
DSIC, Technical University of Valencia
Camino de Vera s/n, E-46022 Valencia, Spain
gvidal@dsic.upv.es
Abstract-- This article describes a practical (on-
line) partial evaluation tool which is applicable to
modern multi-paradigm declarative languages (like,
e.g., Curry). The most recent proposal for multi-
paradigm declarative programming advocates the in-
tegration of features from functional, logic and con-
current programming. The developed tool has been
successfully integrated into the PAKCS compiler for
the language Curry.
Keywords-- Partial evaluation, Multi-paradigm
declarative programming.
I. Introduction
Modern proposals for multi-paradigm declarative pro-
gramming combine features from functional, logic and
|
