In this paper we present LEONARDO, an integrated environment for software visualization
that allows the user to edit, compile, execute, and animate general-purpose C programs.
LEONARDO relies on a logic-based approach to visualization: a mapping between concrete
and abstract data structures can be declared through a logic visualization language and
animations are conceived as reflecting formal properties of algorithms. LEONARDO is able
to automatically detect visual events during the execution of programs and simplifies the …