SciDok

Eingang zum Volltext in SciDok

Hinweis zum Urheberrecht

Diplomarbeit, Magisterarbeit zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-375
URL: http://scidok.sulb.uni-saarland.de/volltexte/2001/37/


Alexsa - Algorithm Explanation by Shape Analysis - Extensions to the TVLA System

Bieber, Ronald

pdf-Format:
Dokument 1.pdf (782 KB)
ps-Format:
Dokument 1.ps (2.245 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
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.

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English