Please use this identifier to cite or link to this item: doi:10.22028/D291-25670
Title: Alexsa - Algorithm Explanation by Shape Analysis - Extensions to the TVLA System
Author(s): Bieber, Ronald
Language: English
Year of Publication: 2001
SWD key words: Programmanalyse
Free key words: Algorithmenanimation
Shape Analyse
Program analysis
algorithm explanation
algorithm animation
software visualization
shape analysis
DDC notations: 004 Computer science, internet
Publikation type: Other
Abstract: 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.
Link to this record: urn:nbn:de:bsz:291-scidok-375
Date of registration: 15-May-2001
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
Alexsa_Diploma_Thesis.pdf782,16 kBAdobe PDFView/Open
Alexsa_Diploma_Thesis.ps2,24 MBPostscriptView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.