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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/978-3-540-71410-1_12 | LOPSTR |
Keywords | Field | DocType |
lazy functional logic program,functional logic computation,promising technique,program transformation,program execution,previous work,functional logic program,side effect,functional logic language,real world application,functional logic programming | Programming language,Program transformation,Computer science,Algorithm,Multimodal logic,Theoretical computer science,Heap (data structure),Interpreter,Semantics,Tracing,Computation | Conference |
Volume | ISSN | Citations |
4407 | 0302-9743 | 4 |
PageRank | References | Authors |
0.47 | 9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernd Braßel | 1 | 181 | 12.47 |
Sebastian Fischer | 2 | 74 | 5.07 |
Frank Huch | 3 | 69 | 5.55 |