Documentation Copyright notice The documents available from this site are provided as a means to ensure timely dissemination of  technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder (Springer-Verlag for works appeared in the LNCS series, IEEE, etc.). Permission to make digital or hard copies of part or all of these works for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. The electronic version of some of the works available from this site may differ from the definitive published version. Copyright of works submitted for publication may be transferred without further notice and this version may no longer be accessible. Papers P. Crescenzi, C. Demetrescu, I. Finocchi, and R. Petreschi: Reversible execution and visualization of programs with Leonardo, Journal of Visual Languages and Computing (JVLC), 11(2), pp. 125-150, Academic Press, April 2000 [download ps.gz, 465 KB]. An extended abstract appears in Proceedings of the 1st Workshop on Algorithm Engineering (WAE'97), G.F. Italiano and S. Orlando Editors, pp. 146-155, Venice, Italy, September 1997 [download ps.gz, 648 KB]. C. Demetrescu and I. Finocchi: Smooth animation of algorithms in a declarative framework, Journal of Visual Languages and Computing (JVLC), 12(3), Special Issue devoted to selected papers from the 15th IEEE Symposium on Visual Languages, Academic Press, 2001 [download ps.gz, 448 KB]. An extended abstract appears in Proceedings of the 15th IEEE Symposium on Visual Languages (VL'99), IEEE Computer Society Press, pp. 280-287, Tokyo, Japan, September 1999 [download ps.gz, 154 KB] [abstract]. C. Demetrescu and I. Finocchi: A technique for generating graphical abstractions of program data structures, Proceedings of the 3rd International Conference on Visual Information Systems (Visual'99), LNCS 1614, pp. 785-792, Amsterdam, The Netherlands, June 1999 [download ps.gz, 99 KB] [abstract]. C. Demetrescu and I. Finocchi: A general-purpose logic-based visualization framework, Proceedings of the 7th International Conference in Central Europe on Computer Graphics, Visualization and Interactive Digital Media (WSCG'99), pp. 55-62, Plzen, Czech Republic, February 1999 [download ps.gz, 213 KB] [abstract]. User manual C. Demetrescu, I. Finocchi: The Leonardo User Manual (last updated June 14, 2001) Online version StuffIt+MacBinary II, ftp, 674K tar+gzip, ftp, 620K Slides C. Demetrescu, I. Finocchi: Fun with Leonardo, invited talk, Dagstuhl Seminar 01211 on Software Visualization, May 2001 [download PowerPoint presentation, 252 KB].