GDR: A Visualization Tool for Graph Algorithms

This paper describes GDR, a tool for editing graphs and animating graph algorithms. The design of GDR emphasizes simplicity and the ability to interact with other tools. GDR has been used to implement classroom animations of graph algorithms and finite automata, and as a research tool for prototyping algorithms.

[1]  Michael B. Dillencourt,et al.  Graph Tool - A Tool for Interactive Design and Manipulation of Graphs and Graph Algorithms , 1992, Computational Support for Discrete Mathematics.

[2]  Thomas Spencer,et al.  Improvements to GraphPack: A System to Manipulate Graphs and Digraphs , 1992, Computational Support for Discrete Mathematics.

[3]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[4]  Robert de Simone,et al.  Auto/Autograph , 1990, Formal Methods Syst. Des..

[5]  Sandra Sudarsky,et al.  AGE: An Animated Graph Environment , 1992, Computational Support for Discrete Mathematics.

[6]  J. C. Martin,et al.  Introduction to Languages and the Theory of Computation" 3rd Ed , 1991 .

[7]  Scott A. Smolka,et al.  Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems , 1988, Specification and Verification of Concurrent Systems.

[8]  W. Ames.  Computer Algorithms — Introduction to design and analysis (second edition) : S. Baase, Addison Wesley, Reading, Mass., 1988. 415 pp., US $40.95. ISBN 0-201-06035-3 , 1990 .

[9]  Brian W. Kernighan,et al.  Software tools , 1976, SOEN.

[10]  Jürgen Ebert.  A versatile data structure for edge-oriented graph algorithms , 1987, CACM.

[11]  Brian W. Kernighan,et al.  A system for algorithm animation tutorial and user manual , 1990 .

[12]  John E. Hopcroft,et al.  An n log n algorithm for minimizing states in a finite automaton , 1971 .

[13]  David Jablonowski,et al.  GMB: A tool for manipulating and animating graph data structures , 1989, Softw. Pract. Exp..

[14]  Rance Cleaveland,et al.  The concurrency workbench: a semantics-based tool for the verification of concurrent systems , 1993, TOPL.

[15]  Ioannis G. Tollis,et al.  Algorithms for Drawing Graphs: an Annotated Bibliography , 1988, Comput. Geom..