Visualizing principles of abstract machines by generating interactive animations

Authors
Diehl, S Kunze, T
Citation
S. Diehl et T. Kunze, Visualizing principles of abstract machines by generating interactive animations, FUT GENER C, 16(7), 2000, pp. 831-839
Citations number
10
Categorie Soggetti
Computer Science & Engineering
Journal title
FUTURE GENERATION COMPUTER SYSTEMS
ISSN journal
0167739X → ACNP
Volume
16
Issue
7
Year of publication
2000
Pages
831 - 839
Database
ISI
SICI code
0167-739X(200005)16:7<831:VPOAMB>2.0.ZU;2-I
Abstract
In this paper we describe the design rationale of GANIMAM, a web-based syst em which generates interactive animations of abstract machines from specifi cations. Common principles of abstract machines come into play at three lev els: the design of the specification language, the choice of graphical anno tations to visualize higher-level abstractions and the use of the system to explore and better understand known and detect new principles. (C) 2000 El sevier Science B.V. All rights reserved.