Eingang zum Volltext in SciDok
Hinweis zum Urheberrecht
Diplomarbeit, Magisterarbeit zugänglich unter
Alexsa - Algorithm Explanation by Shape Analysis - Extensions to the TVLA System
URN: urn:nbn:de:bsz:291-scidok-375
URL: http://scidok.sulb.uni-saarland.de/volltexte/2001/37/
pdf-Format:
Dokument 1.pdf (782 KB)
ps-Format:
Dokument 1.ps (2.245 KB)
SWD-Schlagwörter:
Programmanalyse , Computeranimation , Programmoptimierung
Freie Schlagwörter (Deutsch):
Algorithmenanimation , Algorithmenerklärung , Softwarevisualisierung , Shape Analyse
Freie Schlagwörter (Englisch):
Program analysis , algorithm explanation , algorithm animation , software visualization , shape analysis
Institut:
Fachrichtung 6.2 - Informatik
DDC-Sachgruppe:
Informatik
Dokumentart:
Diplomarbeit, Magisterarbeit
Sprache:
Englisch
Erstellungsjahr:
2001
Publikationsdatum:
15.05.2001
Kurzfassung auf Englisch:
Algorithm explanation visualizes programs for teaching,
debugging,optimization, and verification purposes.
In this thesis we use shape analysis with 3-valued
Kleene logic and the TVLA implementation of this analysis
to analyze programs with respect to dynamic data structures.
Our tool Alexsa features an easy to use interface for the
visualization, with simultaneous code view and heap content
representation. We implement an automatic pseudo code
generation for improved readability, a well-defined algorithm
for presenting the visual execution of programs in an interesting
way, smooth transitions between the single states, and a number
of additional tools for verification and debugging of the
analyzed programs.