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 |
VerfasserIn: | Bieber, Ronald |
Sprache: | Englisch |
Erscheinungsjahr: | 2001 |
Kontrollierte 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 |
Dokumenttyp: | Sonstiges |
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 zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-375 hdl:20.500.11880/25726 http://dx.doi.org/10.22028/D291-25670 |
Datum des Eintrags: | 15-Mai-2001 |
Fakultät: | MI - Fakultät für Mathematik und Informatik |
Fachrichtung: | MI - Informatik |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
Alexsa_Diploma_Thesis.pdf | 782,16 kB | Adobe PDF | Öffnen/Anzeigen | |
Alexsa_Diploma_Thesis.ps | 2,24 MB | Postscript | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.