Computer Science – Programming Languages
Scientific paper
2003-11-17
Computer Science
Programming Languages
In M. Ronsse, K. De Bosschere (eds), proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Se
Scientific paper
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 in a type error. By further examining these (potentially) problematic program locations, users gain a better understanding of their program and are able to work towards the actual mistake which was the cause of the type error. The debugger is interactive, allowing the user to provide additional information to narrow down the search space. One of the novel aspects of the debugger is the ability to explain erroneous-looking types. In the event that an unexpected type is inferred, the debugger can highlight program locations which contributed to that result. Furthermore, due to the flexible constraint-based foundation that the debugger is built upon, it can naturally handle advanced type system features such as Haskell's type classes and functional dependencies.
Stuckey Peter J.
Sulzmann Martin
Wazny Jeremy
No associations
LandOfFree
The Chameleon Type Debugger (Tool Demonstration) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Chameleon Type Debugger (Tool Demonstration), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Chameleon Type Debugger (Tool Demonstration) will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-339906