with Bernd Bra├čel and Frank Huch

  • LOPSTR ‘06: Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformation © Springer
  • pdf
  • bib

Tracing program executions is a promising technique to find
bugs in lazy functional logic programs. In previous work we developed an
extension of a heap based semantics for functional logic languages which
generates a trace reflecting the computation of the program. This exten-
sion was also prototypically implemented by instrumenting an interpreter
for functional logic programs. Since this interpreter is too restricted for
real world applications, we developed a program transformation which
efficiently computes the trace by means of side effects during the com-
putation. This paper presents our program transformation.