| | |
Summary: Run-Time Profiling of
Functional Logic Programs
B. Brassel1
, M. Hanus1
, F. Huch1
, J. Silva2
, and G. Vidal2
1
Institut f¨ur Informatik, CAU Kiel, Olshausenstr. 40, D-24098 Kiel, Germany.
{bb,mh,fhu}@informatik.uni-kiel.de
2
DSIC, Tech. University of Valencia, Camino de Vera s/n, E-46022 Valencia, Spain.
{jsilva,gvidal}@dsic.upv.es
Abstract. In this work, we introduce a profiling scheme for modern
functional logic languages covering notions like laziness, sharing, and
non-determinism. Firstly, we instrument a natural (big-step) semantics
in order to associate a symbolic cost to each basic operation (e.g., variable
updates, function unfoldings, case evaluations). While this cost semantics
provides a formal basis to analyze the cost of a computation, the imple-
mentation of a cost-augmented interpreter based on it would introduce
|
