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 Computeranimation Programmoptimierung |
Free key words: | Algorithmenanimation Algorithmenerklärung Softwarevisualisierung 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 hdl:20.500.11880/25726 http://dx.doi.org/10.22028/D291-25670 |
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 | Size | Format | |
---|---|---|---|---|
Alexsa_Diploma_Thesis.pdf | 782,16 kB | Adobe PDF | View/Open | |
Alexsa_Diploma_Thesis.ps | 2,24 MB | Postscript | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.