A Program Transformation for Tracing Functional Logic Computations (2006)
| Venue: | UNIVERSITÀ |
| Citations: | 2 - 1 self |
BibTeX
@TECHREPORT{Brassel06aprogram,
author = {Bernd Brassel and Sebastian Fischer and Frank Huch},
title = {A Program Transformation for Tracing Functional Logic Computations},
institution = {UNIVERSITÀ},
year = {2006}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
Citations
| 49 | Debugging haskell by observing intermediate data structures - Gill |
| 48 | Operational semantics for declarative multi-paradigm languages - Albert, Hanus, et al. - 2005 |
| 27 | M.: Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs - Chitil, Runciman, et al. - 2001 |
| 19 | A semantics for tracing declarative multi-paradigm programs - Braßel, Hanus, et al. - 2004 |
| 11 | Observing Functional Logic Computations - Braßel, Chitil, et al. - 2004 |
| 7 | DDT: a Declarative Debugging Tool for Functional-Logic Languages - Caballero, Rodríguez-Artalejo - 2004 |
| 3 | TeaBag: A Functional Logic Language Debugger - Antoy, Johnson - 2004 |
