Name
Abstract | ||
|---|---|---|
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic programs by side effects and then give different views on the recorded data. In this way well known debugging techniques like declarative debugging, expression observation, redex trailing but also step-by-step debuggers and cost center oriented symbolic profiling can be implemented as special views on the recorded data. In addition, creating new views for special debugging purposes should be easy to implement. This is where the contribution of this work sets in. We describe how the recorded data is interpreted and preprocessed in order to yield an extremely simple yet versatile interface to base the different views on. Using this interface, formulating the basic functionality of declarative debugging, for example, is a matter of a few lines. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1016/j.entcs.2007.01.006 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
different view,basic idea,recorded data,special view,versatile interface,functional logic computations,declarative debugging,functional logic programming,interpreting traces,special debugging purpose,functional logic program,debugging,functional logic language,basic functionality,side effect | Functional logic programming,Programming language,Computer science,Profiling (computer programming),Theoretical computer science,Cost centre,Algorithmic program debugging,Debugging,Computation | Journal |
Volume | ISSN | Citations |
177, | Electronic Notes in Theoretical Computer Science | 1 |
PageRank | References | Authors |
0.36 | 13 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bernd Braßel | 1 | 181 | 12.47 |