| | |
Summary: Source-Level Abstract 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 abstract 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., number of steps, number
of matching operations, etc. The main contribution is the formal spec-
i cation of the attribution of execution costs to cost centers, which is
particularly diÆcult in the context of lazy languages. An implementa-
tion of the abstract pro ler has been undertaken for the multi-paradigm
language Curry. Preliminary results demonstrate the practicality of our
approach.
1 Introduction
Pro ling tools, in general, are designed for assisting the programmer in the task
of generating eÆcient code (see, e.g., [10]). By analyzing the pro ling results, the
|
