Algorithm explanation: Visualizing abstract states and invariants

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2269, Issue , 2002, Pages 381-394

  Wilhelm, Reinhard ^a   Müldner, Tomasz ^b   Seidel, Raimund ^a  

^a SAARLAND UNIVERSITY   (Germany)

^b ACADIA UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; DATA VISUALIZATION; STRUCTURAL PROPERTIES; VISUALIZATION;

ACTIVE PARTS; ALGORITHM EXPLANATION; PARAMETERIZED; PROGRAM POINTS; SHAPE ANALYSIS; SOFTWARE VISUALIZATION; STATIC PROGRAM ANALYSIS; VISUALIZATION SYSTEM;

APPLICATION PROGRAMS;

EID: 84948987987     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45875-1_30     Document Type: Conference Paper

References (9)

1. Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape-analysis. In: Proc. of ACM SIGACTSIGPLAN Symposium on Principles of Programming Languages, St. Antonio, Texas, (1999), extended version to appear in ACM Transactions on Programming Languages and Systems (TOPLAS).
2. Lev-Ami, T., Reps, T., Mooly, S., Wilhelm, R.: Putting static analysis to work for verification: A case study. Proceedings of the International Symposium on Software Testing and Analysis, Portland, Oregon, USA (2000) 26-38
3. Aho, A.V., Hopcroft, J.E., Ullman, J. D.: Data Structures and Algorithms. Addison-Wesley, Reading, Mass. (1983)
4. Nielson, F., Riis Nielson, H., Hankin, C.: Principles of Program Analysis. Springer-Verlag, (1999)
5. Cousot, P., Cousot R.: Systematic design of program analysis frameworks. Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, New York, U.S.A., San Antonio, Texas, (1979) 269-282
6. Braune, B., Wilhelm, R.: Focusing in algorithm explanation. Transactions on Visualization and Computer Graphics, 6(1), (2000) 1-7
7. Michail, A.: Teaching Binary Tree Algorithms though Visual Programming. In Symposium on Visual Languages, IEEE, (1996) 38-45
8. Wenger, R.: Helly-Type Theorems and Geometric Transversals. In J.E.Goodman, J. O'Rourke (Eds.): Handbook of Discrete and Computational Geometry, CRC Press, (1997)
9. Demetrescu C., Finocchi, I. and J. Stasko.: Specifying Algorithm Visualizations: Interesting Events or State Mapping? In this volume, p. 105.