Reversible execution and visualization of programs with Leonardo

Journal of Visual Languages and Computing

Volumn 11, Issue 2, 2000, Pages 125-150

  Crescenzi, Pierluigi ^a   Demetrescu, Camil ^b   Finocchi, Irene ^b   Petreschi, Rossella ^b  

^a UNIVERSITY OF FLORENCE   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034165030     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.1999.0143     Document Type: Article

References (37)

1. Stasko J. T., Domingue J., Brown M. H., Price B. A. Software Visualization. 1997;MIT Press, Cambridge.
2. Lawrence A. W., Badre A. N., Stasko J. T. Empirically evaluating the use of animations to teach algorithms. Proceedings of the IEEE International Symposium on Visual Languages. 1994;. p. 48-54.
3. Stasko J. T. Using student-built algorithm animation as learning aids. Proceedings of the ACM SIGCSE Conference. 1997;. p. 25-29.
4. Stasko J. T., Lawrence A. Empirically assessing algorithm animations as learning aids. Software Visualization. 1997;MIT Press, Cambridge. p. 419-438.
5. Lieberman H. The debugging scandal and what to do about it. Communications of the ACM. 40:1997;27-29.
6. Ungar D., Lieberman H., Fry C. Debugging and the experience of immediacy. Communications of the ACM. 40:1997;38-43.
7. Sarkar M., Brown M. H. Graphical fisheye views. Communications of the ACM. 37:1994;73-84.
8. Stasko J. T., Muthukumarasamy J. Visualizing program executions on large data sets. Proceedings of the IEEE International Symposium on Visual Languages. 1996;. p. 166-173.
9. Baker J. E., Cruz I., Liotta G., Tamassia R. Algorithm animation over the World Wide Web. Proceedings of the ACM Workshop on Advanced Visual Interfaces. 1996;. p. 203-212.
10. Bongiovanni G., Crescenzi P., Rago G. JAZ: Java Algorithm Visualizer. A multi-platform collaborative tool for teaching graph algorithms. Proceedings of the 6th International Conference in Central Europe on Computer Graphics and Visualization (WSCG'98). 1997;. p. 73-80.
11. Brown M. H., Najork M. Collaborative active textbooks: a web-based algorithm animation system for an electronic classroom. Proceedings of the IEEE International Symposium on Visual Languages. 1996;. p. 266-275.
12. Domingue J., Mulholland P. Teaching programming at a distance: the internet software visualization laboratory. Journal of Interactive Media in Education. 7:1997.
13. Haajanen J., Pesonius M., Sutinen E., Tarhio J., Teräsvirta T., Vanninen P. Animation of user algorithms on the web. Proceedings of the IEEE International Symposium on Visual Languages. 1997;. p. 360-367.
14. Brown M. H. Zeus: a system for algorithm animation and multi-view editing. Proceedings of the IEEE Workshop on Visual Languages. 1991;. p. 4-9.
15. Brown M. H. Algorithm Animation. 1998;MIT Press, Cambridge.
16. Brown M. H., Sedgewick R. A system for algorithm animation. Proceedings of ACM SIGGRAPH'84. 1984;. p. 177-186.
17. Brown M. H., Sedgewick R. Techniques for algorithm animation. IEEE Software. 2:1985;28-39.
18. Brown M. H., Hershberger J. Color and sound in algorithm animation. Computer. 25:1992;52-63.
19. Brown M. H., Najork M. Algorithm animation using 3D interactive graphics. Proceedings of the ACM Symposium on User Interface Software and Technology. 1993;. p. 93-100.
20. Henry R. R., Whaley K. M., Forstall B. The University of Washington Program Illustrator. Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation. 1990;. p. 223-233.
21. Roman G. C., Cox K. C., Wilcox C. D., Plun J. Y. PAVANE: a system for declarative visualization of concurrent computations. Journal of Visual Languages and Computing. 3:1992;161-193.
22. Roman G. C., Cox K. C. A declarative approach to visualizing concurrent computations. Computer. 22:1989;25-36.
23. Stasko J. T. A methodology for building application-specific visualizations of parallel programs. Journal of Parallel and Distributed Computing. 18:1993;258-264.
24. Stasko J. T. TANGO: a framework and system for algorithm animation. Computer. 23:1990;27-39.
25. Stasko J. T. The path-transition paradigm: a practical methodology for adding animation to program interfaces. Journal of Visual Languages and Computing. 1:1990;213-236.
26. H. Lieberman, C. Fry, Zstep95: A reversible animated source code stepper, Software Visualization, MIT Press, Cambridge, MA, 277, 292.
27. Lahtinen S. P., Sutinen E., Tarhio J. Automated animation of algorithms with Eliot. Journal of Visual Languages and Computing. 9:1998;337-349.
28. Myers B. A. Taxonomies of visual programming and program visualization. Journal of Visual Languages and Computing. 1:1990;97-123.
29. Price B. A., Baecker R. M., Small I. S. A principled taxonomy of software visualization. Journal of Visual Languages and Computing. 4:1994;211-266.
30. Roman G. C., Cox K. C. A taxonomy of program visualization systems. Computer. 26:1993;11-24.
31. Demetrescu C., Finocchi I. A technique for generating graphical abstractions of program data structures. Proceedings of the 3rd International Conference on Visual Information Systems, LNCS 1614. 1999;. p. 785-792.
32. Demetrescu C. Un Ambiente Integrato per lo Sviluppo e l'Animazione di Algoritmi: il Sistema di Visualizzazione. 1997;University of Rome 'La Sapienza'.
33. Demetrescu C., Finocchi I. A general-purpose logic-based visualization framework. Proceedings of the 7th International Conference in Central Europe on Computer Graphics, Visualization and Interactive Digital Media (WSCG'99). 1999;. p. 55-62.
34. Finocchi I. Un Ambiente Integrato per lo Sviluppo e l'Animazione di Algoritmi: la Macchina Virtuale ed i Compilatori. 1997;University of Rome 'La Sapienza'.
35. Ruknet C. The design of a processor architecture capable of forward and reverse execution. Proceedings of SoutheastCon 91. 1991.
36. Cormen T. H., Leiserson C. E., Rivest R. L. Introduction to Algorithms. 1990;MIT Press, Cambridge.
37. Reingold E., Tilford J. Tidier drawings of trees. IEEE Transactions on Software Engineering. 7:1981;223-228.