Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25670
Titel: Alexsa - Algorithm Explanation by Shape Analysis - Extensions to the TVLA System
Verfasser: Bieber, Ronald
Sprache: Englisch
Erscheinungsjahr: 2001
SWD-Schlagwörter: Programmanalyse
Computeranimation
Programmoptimierung
Freie Schlagwörter: Algorithmenanimation
Algorithmenerklärung
Softwarevisualisierung
Shape Analyse
Program analysis
algorithm explanation
algorithm animation
software visualization
shape analysis
DDC-Sachgruppe: 004 Informatik
Dokumentart : Examensarbeiten (Diplom / Master / Staatsexamen etc.)
Kurzfassung: 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 zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-375
hdl:20.500.11880/25726
http://dx.doi.org/10.22028/D291-25670
SciDok-Publikation: 15-Mai-2001
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
Fachrichtung: MI - Informatik
Fakultät / Institution:MI - Fakultät für Mathematik und Informatik

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
Alexsa_Diploma_Thesis.pdf782,16 kBAdobe PDFÖffnen/Anzeigen
Alexsa_Diploma_Thesis.ps2,24 MBPostscriptÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.