Source-Level Abstract Profiling for Multi-Paradigm Declarative Languages

Elvira Albert and Germán Vidal

Proc. of the 11th Int'l Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'2001).

We present the basis of a source-level profiler for multi-paradigm declarative languages which integrate features from (lazy) functional and logic programming. Our profiling 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 specification of the attribution of execution costs to cost centers, which is particularly difficult in the context of lazy languages. An implementation of the abstract profiler has been undertaken for the multi-paradigm language Curry. Preliminary results demonstrate the practicality of our approach.

Available: DVI PS BibTeX-Entry

Germán Vidal