| | |
Summary: Symbolic Pro ling for Multi-Paradigm
Declarative Languages ?
Elvira Albert and German Vidal
DSIC, UPV, Camino de Vera s/n, E-46022 Valencia, Spain
fealbert,gvidalg@dsic.upv.es
Abstract. We present the basis of a source-level pro ler for multi-
paradigm declarative languages which integrate features from (lazy) func-
tional and logic programming. Our pro ling scheme is symbolic in the
sense that it is independent of the particular language implementation.
This is achieved by counting the number of basic operations performed
during the execution of program calls, e.g., the number of unfolding
steps, the number of matching operations, etc. The main contribution
of this paper is the formal speci cation of the attribution of execution
costs to cost centers, which is particularly diÆcult in the context of lazy
languages. A prototype implementation of the symbolic pro ler has been
undertaken for the multi-paradigm language Curry. Preliminary results
demonstrate the practicality of our approach and its applications in the
eld of program transformation.
1 Introduction
Pro ling tools, in general, are designed for assisting the programmer in the task
|
