Specifying concurrent systems with &Dgr;-grammars
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
ACM SIGMOD Record
Do algorithm animations assist learning?: an empirical study and analysis
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
An Algorithm Animation Programming Environment
ICCAL '92 Proceedings of the 4th International Conference on Computer Assisted Learning
1st Grade - A System for Implementation, Testing and Animation of Graph Algorithms
STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
Layout Graph Grammars: The Placement Approach
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Dactl: An Experimental Graph Rewriting Language
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Testing Effectiveness of Algorithm Animation
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
VL '96 Proceedings of the 1996 IEEE Symposium on Visual Languages
A Graph Rewriting Programming Language for Graph Drawing
VL '98 Proceedings of the IEEE Symposium on Visual Languages
Dial: A Diagrammatic Animation Language
IEEE Computer Graphics and Applications
Techniques for Algorithm Animation
IEEE Software
A Demonstration of the Grrr Graph Rewriting Programming Language
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Hi-index | 0.00 |
We discuss geometric positioning, highlighting of visited nodes and user defined highlighting that form the algorithm animation facilities in the Grrr graph rewriting programming language. The main purpose of animation was initially for the debugging and profiling of Grrr code, but recently it has been extended for the purpose of teaching algorithms to undergraduate students. The animation is restricted to graph based algorithms such as graph drawing, list manipulation or more traditional graph theory. The visual nature of the Grrr system allows much animation to be gained for free, with no extra user effort beyond the coding of the algorithm, but we also discuss user defined animations, where custom algorithm visualisations can be explicitly defined for teaching and demonstration purposes.