200 citations · 450 across the 51 of their papers we have counts for
1 paper · 2 filters
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
In this tool demonstration, we give an overview of the Chameleon type debugger. The type debugger's primary use is to identify locations within a source program which are involved…