A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf
.
Algorithmic Debugging of Java Programs
2007
Electronical Notes in Theoretical Computer Science
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 languages. The declarative debugger builds a suitable computation tree containing information about method invocations occurred during a wrong computation. The tree is then navigated, asking the user questions in order to compare the intended semantics of each method with its actual behavior until a wrong method is found
doi:10.1016/j.entcs.2007.01.005
fatcat:vh7s373c4nbd3ogn73wyhvegtq