SciDok - Wissenschafts-Server der Universitaet des Saarlandes
Home
Home
Suchen
Suche
Volltextsuche
Volltextsuche
Browsen
Browsen
Veröffentlichen
Veröffentlichen
Uni-Homepage

Eingang zum Volltext

Urheberrechtshinweis / Copyright notice

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:bsz:291-scidok-375
URL: http://scidok.sulb.uni-saarland.de/volltexte/2001/37/

Bieber, Ronald

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

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

Kurzfassung in 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.

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, Staatsexamensarbeit
Sprache: Englisch
Erstellungsjahr: 2001
Publikationsdatum: 15.05.2001
Home Hilfe Policy Viewer SULB SaarDok Impressum Kontakt