Sciweavers

27 search results - page 6 / 6
» DDT: a Declarative Debugging Tool for Functional-Logic Langu...
Sort
View
OOPSLA
2005
Springer
13 years 10 months ago
Relational queries over program traces
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
Simon Goldsmith, Robert O'Callahan, Alexander Aike...
ESOP
2005
Springer
13 years 10 months ago
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
Michael Leuschel, Germán Vidal