Reinke, Claus (2001) GHood -- Graphical Visualisation and Animation of Haskell Object Observations. In: Hinze, Ralf, ed. ACM Sigplan Haskell Workshop, Firenze, Italy. Electronic Notes in Theoretical Computer Science , 59. Elsevier Science (KAR id:13558)
PDF
Language: English |
|
Download this file (PDF/350kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Postscript
Language: English |
|
Download this file (Postscript/1MB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader |
Abstract
As a possible extension to his http://www.haskell.org/hood/ Hood http://www.cse.ogi.edu/~andy/pub/debug.htm, Andy Gill has described the ``dynamic viewing of structures'', stepping through observations instead of accumulating them into a static view. Starting from this idea, we have implemented and released an animation back-end for Hood, called http://www.cs.ukc.ac.uk/people/staff/cr3/toolbox/haskell/GHood. Instead of the dynamic textual visualisation based on pretty-printing proposed in http://www.cse.ogi.edu/~andy/pub/debug.htm, our back-end features a dynamic graphical visualisation, based on a simple tree layout algorithm. This paper reviews the main aspects of Hood, gives a brief introduction to GHood's features and summarises our experience so far. The visualisation of program behaviour via animations of data structure observations has uses for program comprehension and exposition, in development, debugging and education. We find that the graphical structure facilitates orientation even when textual labels are no longer readable due to scaling, suggesting advantages over a purely textual visualisation. A novel application area is opened by the use of GHood as an applet on webpages -- discussions of Haskell program behaviour, e.g., in educational online material or in explanations of functional algorithms, can now easily be augmented with graphical animations of the issues being discussed.
Item Type: | Conference or workshop item (Paper) |
---|---|
Additional information: | Preliminary Proceedings have appeared as Technical Report UU-CS-2001-23, Institute of Information and Computing Sciences, Utrecht University. Final proceedings to appear in ENTCS. |
Uncontrolled keywords: | Haskell, program visualisation, debugging |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Mark Wheadon |
Date Deposited: | 24 Nov 2008 17:58 UTC |
Last Modified: | 05 Nov 2024 09:47 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/13558 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):