26 search results - page 2 / 6 » A Declarative Debugger for Maude |
WCFLP
2005
ACM
13 years 10 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
AADEBUG
2005
Springer
13 years 10 months ago
2005
Springer
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
SEKE
2007
Springer
13 years 11 months ago
2007
Springer
With the growing interest in rule languages in the Semantic Web and the Business Rule community it is time to look again at the issue of debugging rule bases. New challenges have ...
ENTCS
2007
13 years 4 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...