{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:04:41Z","timestamp":1725487481173},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433231"},{"type":"electronic","value":"9783540458753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45875-1_30","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:17:29Z","timestamp":1184588249000},"page":"381-394","source":"Crossref","is-referenced-by-count":5,"title":["Algorithm Explanation: Visualizing Abstract States and Invariants"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Wilhelm","sequence":"first","affiliation":[]},{"given":"Tomasz","family":"M\u00fcldner","sequence":"additional","affiliation":[]},{"given":"Raimund","family":"Seidel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"30_CR1","unstructured":"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)."},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"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\u201338","DOI":"10.1145\/347324.348031"},{"key":"30_CR3","unstructured":"Aho, A.V., Hopcroft, J.E., Ullman, J. D.: Data Structures and Algorithms. Addison-Wesley, Reading, Mass. (1983)"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Nielson, F., Riis Nielson, H., Hankin, C.: Principles of Program Analysis. Springer-Verlag, (1999)","DOI":"10.1007\/978-3-662-03811-6"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013282","DOI":"10.1145\/567752.567778"},{"issue":"1","key":"30_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/2945.841117","volume":"6","author":"B. Braune","year":"2000","unstructured":"Braune, B., Wilhelm, R.: Focusing in algorithm explanation. Transactions on Visualization and Computer Graphics, 6(1), (2000) 1\u20137","journal-title":"Transactions on Visualization and Computer Graphics"},{"key":"30_CR7","unstructured":"Michail, A.: Teaching Binary Tree Algorithms though Visual Programming. In Symposium on Visual Languages, IEEE, (1996) 38\u201345"},{"key":"30_CR8","unstructured":"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)"},{"key":"30_CR9","unstructured":"Demetrescu C., Finocchi, I. and J. Stasko.: Specifying Algorithm Visualizations: Interesting Events or State Mapping? In this volume, p. 105."}],"container-title":["Lecture Notes in Computer Science","Software Visualization"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45875-1_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T18:38:30Z","timestamp":1550428710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45875-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433231","9783540458753"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45875-1_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}