Visualizing principles of abstract machines by generating interactive animations

Future Generation Computer Systems

Volumn 16, Issue 7, 2000, Pages 831-839

  Diehl, Stephan ^a   Kunze, Thomas ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; COMPUTER HARDWARE DESCRIPTION LANGUAGES; INTERACTIVE COMPUTER GRAPHICS; SOFTWARE ENGINEERING; WORLD WIDE WEB;

ABSTRACT MACHINES;

MACHINE ORIENTED LANGUAGES;

EID: 0033743395     PISSN: 0167739X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-739X(99)00093-X     Document Type: Article

References (10)

1. H. Aït-Kaci, Warren's Abstract Machine - A Tutorial Reconstruction, MIT Press, Cambridge, MA, 1991.
2. A. Martin, F. Martin, Generation of Efficient Interprocedural Analyzers with PAG, in: A. Mycroft (Ed.), SAS'95, Static Analysis Symposium, Lecture Notes in Computer Science, vol. 983, Springer, Berlin, 1995, pp. 33-50.
3. M.H. Brown, Algorithm Animation, MIT Press, Cambridge, MA, 1987.
4. M.D. Byrne, R. Catrambone, J.T. Stasko, Do algorithm animations aid learning, Technical Report GIT-GVU-96-18, Georgia Institute of Technology, 1996.
5. Diehl S. A Formal Introduction to the Compilation of Java. ractice and Experience. 28(3):1998;297-327.
6. J. Hannan, Making abstract machines less abstract, Proceedings of FPCA'91, Lecture Notes in Computer Science, vol. 523, Springer, Berlin, 1991, pp. 618-635.
7. M. Mauny, A. Suarez, Implementing functional languages in the categorial abstract machine, International Conference on LISP and Functional Programming, 1986.
8. St. Pemberton, M. Daniels, Pascal Implementation, The P4 Compiler, Ellis Horwood, Chichester, UK, 1982.
9. J.T. Stasko, Using student-built algorithm animations as learning aids, Technical Report GIT-GVU-96-19, Georgia Institute of Technology, 1996.
10. R. Wilhelm, D. Maurer, Compiler Design: Theory, Construction, Generation, Addison-Wesley, Reading, MA, 1995.