Algorithm animation using shape analysis: Visualising abstract executions

Proceedings SoftVis '05 - ACM Symposium on Software Visualization

Volumn , Issue , 2005, Pages 17-26

  Johannes, Dierk ^a   Seidel, Raimund ^a   Wilhelm, Reinhard ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Abstract execution; Algorithm animation; Invariant; Shape analysis; Tree; Visualisation

Indexed keywords

ANIMATION; DATA ACQUISITION; IMAGE ANALYSIS; TREES (MATHEMATICS); VISUALIZATION;

ABSTRACT EXECUTION; ALGORITHM ANIMATION; INVARIANT; SHAPE ANALYSIS;

ALGORITHMS;

EID: 30944437070     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1056018.1056021     Document Type: Conference Paper

References (16)

1. BIEBER, R. 2001. Alexa - Algorithm explanation by Shape Analysis. Extensions to the TVLA system. Master's thesis, Universität des Saarlandes, Germany.
2. nd ed. The MIT Press, Cambridge.
3. KERREN, A., AND STASKO, J. T. 2001. Algorithm Animation Introduction. In Software Visualization, 1-15.
4. KLAVINS, G. 2003. Algorithm Visualization Using Shape Analysis. Master's thesis. Universität des Saarlandes, Germany.
5. LEV-AMI, T., AND SAGIV, S. 2000. TVLA: A system for implementing static analyses. In Static Analysis Symposium, 280-301.
6. LEV-AMI, T., REPS, T. W., SAGIV, S., AND WILHELM, R. 2000. Putting static analysis to work for verification: A case study. In International Symposium on Software Testing and Analysis, 26 38.
7. LEV-AMI, T. 2000. TVLA: A Framework for Kleene-Based Static Analysis. Master's thesis. Tel-Aviv University, Israel.
8. MICHAIL, A. 1996. Teaching binary tree algorithms through visual programming. In Proceedings of the IEEE Symposium on Visual Languages, IEEE Computer Society Press, Washington, 38-45.
9. MICHAIL, A. 1996. Teaching binary tree algorithms through visual programming. Tech. rep., University of Washington.
10. MICHAIL, A. 1998. Imitation: An alternative to generalization in programming by demonstration systems. Tech. Rep. UW-CSE-98-08-06, University of Washington.
11. PRICE, B. A., BAECKER, R. M., AND SMALL, I. S. 1993. A principled taxonomy of software visualization. Journal of Visual Languages and Computing 4, 3, 211 266.
12. SAGIV, S., REPS. T. W., AND WILHELM, R. 1999. Parametric shape analysis via 3-valued logic. In Symposium on Principles of Programming Languages, 105-118.
13. SAGIV, S., REPS. T. W., AND WILHELM, R. 2002. Parametric shape analysis via 3-valued logic. ACP Transactions on Programming Languages and Systems 24, 3, 217-298.
14. WILHELM, R., SAGIV. S., AND REPS, T. W. 2000. Shape analysis. In Computational Complexity, 1-17.
15. WILHELM, R., MÜLDNER, T., AND SEIDEL, R. 2002. Algorithm explanation: Visualizing abstract states and invariants. In Software Visualization. Springer Vorlag, vol. 2269 of LNCS, 381 394.
16. WILHELM, R., REPS, T. W., AND SAGIV, S. 2002. Shape analysis and applications. In The Compiler Design Hand book. CRC Press, 175-218.