GHood -- Graphical Visualisation and Animation of Haskell Object Observations

Reinke, Claus (2001) GHood -- Graphical Visualisation and Animation of Haskell Object Observations. In: ACM SIGPLAN Haskell Workshop, Firenze, Italy, September 2001, Firenze, Italy. (Full text available)

PDF
Download (325kB)
[img]
Preview
Postscript
Download (1MB)
[img]
Preview

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: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 17:58
Last Modified: 06 Sep 2011 01:09
Resource URI: http://kar.kent.ac.uk/id/eprint/13558 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year