© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Hat-explore: Source-based trace exploration
Olaf Chitil
In Colin Runciman, editor, Hat Day 2005: work in progress on the Hat tracing system for Haskell, pages 182-196. Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK, October 2005.Abstract
Experience shows that users of the Hat viewing tools find it hard to keep orientation and navigate to a point of interest in the trace. Hence this paper describes a new viewing tool where navigation through the trace is based on the program source. The tool combines ideas from algorithmic debugging, traditional stepping debuggers and dynamic program slicing.
Download publication 94 kbytes (PDF)Bibtex Record
@inproceedings{2364, author = {Olaf Chitil}, title = {Hat-Explore: Source-Based Trace Exploration}, month = {October}, year = {2005}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2005/2364}, publication_type = {inproceedings}, submission_id = {26091_1140793578}, booktitle = {Hat Day 2005: work in progress on the Hat tracing system for Haskell}, editor = {Colin Runciman}, publisher = {Tech. Report YCS-2005-395, Dept. of Computer Science, University of York, UK}, }