Run-Time Profiling of Functional Logic Programs?

1 Introduction The importance of profiling in improving the performance of programs is widelyrecognized. Profiling tools are essential for the programmer to analyze the effects of different source-to-source program manipulations (e.g., partial evaluation, spe-cialization, optimization, etc). Despite this, one can find very few profiling tools for modern declarative languages. This situation is mainly explained by the diffi-culty to correctly map execution costs to source code, which is much less obvious than for imperative languages. In this work, we tackle the definition of a profil-ing scheme for modern functional logic languages covering notions like laziness, sharing, and non-determinism (like Curry [6] and Toy [13]); currently, there isno profiling tool practically applicable to such languages