International Symposium on Logic-Based Program Synthesis and Transformation

LOPSTR 2006: Logic-Based Program Synthesis and Transformation pp 160-176

A Program Transformation for Tracing Functional Logic Computations

  • Bernd Brassel
  • Sebastian Fischer
  • Frank Huch
Conference paper

DOI: 10.1007/978-3-540-71410-1_12

Volume 4407 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Brassel B., Fischer S., Huch F. (2007) A Program Transformation for Tracing Functional Logic Computations. In: Puebla G. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2006. Lecture Notes in Computer Science, vol 4407. Springer, Berlin, Heidelberg

Abstract

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 extension 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 computation. This paper presents our program transformation.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Bernd Brassel
    • 1
  • Sebastian Fischer
    • 1
  • Frank Huch
    • 1
  1. 1.Institute of Computer Science, University of Kiel, 24098 KielGermany